Solving equations in abstract algebras: a rule-based survey of unification (1991)

by J-P Jouannaud, C Kirchner
Venue:In: Computational Logic: Essays in Honor of Alan Robinson