"Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond."

Jan Willem Klop (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics