Tobias Nipkow Unification in Primal Algebras. 117-131 1988 conf/caap/1988 CAAP db/conf/caap/caap88.html#Nipkow88 http://dx.doi.org/10.1007/BFb0026100