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

by Jean-Pierre Jouannaud, Claude Kirchner
Venue:LRI, CNRS UA 410: Al Khowarizmi