Skip to main content

Automating the knuth bendix ordering

Jeremy Dick‚ John Kalmus and Ursula Martin

Journal
Acta Informatica
Number
2
Pages
95–119
Publisher
Springer Berlin/Heidelberg
Volume
28
Year
1990