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

Jan Willem Klop

Browse the full ICALP paper archive.