TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification-driven leftmost outermost narrowing
T2  - Acta Cybernetica. 11 (1994), H. 3
Y1  - 1994
UR  - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/3703
SN  - 0324-721x
SP  - 139
EP  - 167
ER  -