Fast Knuth-Bendix Completion (0)

by J Christian
Venue:Summary, RTA '89, LNCS 355