CITATION STYLE
Winkler, F. (1989). Equational Theorem Proving and Rewrite Rule Systems (pp. 26–39). https://doi.org/10.1007/978-3-642-74688-8_3
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley