Faßbender, Heinz; Vogler, Heiko: A universal unification algorithm based on unification-driven leftmost outermost narrowing. Acta cybernetica, (11) 3. pp. 139-167. (1994)