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