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

by J-P Jouannaud, H Kirchner
Venue:in Proceedings 11th ACM Symposium on Principles of Programming Languages