Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. Extended abstract (1993)

by M Thomas, P Watson
Venue:Proceedings of AMAST: Algebraic Methodology and Software Technology, Workshops in Computing