The term rewriting approach to automated theorem proving (1992)

by J Hsiang, H Kirchner, P Lescanne, M Rusinowitch
Venue:Journal of Logic Programming