Universal Unification and a Class of Equational Theories.

Alexander Herold Universal Unification and a Class of Equational Theories. 177-190 1982 conf/ki/1982 GWAI db/conf/ki/gwai1982.html#Herold82