Advanced Topics in Term Rewriting

Enno Ohlebusch
Unknown
January 1, 2002
10.1007/978-1-4757-3661-8
Cited by 250

Abstract

Related Papers

A Comparison of Different Methods
Daniel Mayer, Thomas A. Casey|Cornea|1987|58