Completion of a set of rules modulo a set of equations (1986)

by J-P Jouannaud, H Kirchner
Venue:SIAM J. Comput