Solving equations in abstract algebras: A rule-based survey of unification

Centre de Recherche en Informatique de Nancy (CRIN) 1990 English \36\ p. 09H - Computer software, programming R - Report CRIN--90-R-141 FR FR_ 1992:1163 http://hdl.handle.net/10068/43975