Solving Equations in Abstract Algebras: A RuleBased Survey of Unification (1991)

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