TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification-driven leftmost outermost narrowing
JF  - Acta Cybernetica. 11 (1994), H. 3
Y1  - 1994
SN  - 0324-721x
SP  - 139
EP  - 167
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - Implementierung eines universellen Unifikationsalgorithmus für Macro Tree Transducer
JF  - Alternative Konzepte für Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.)
Y1  - 1994
N1  - (Fachberichte Informatik ; 94,4)
PB  - Univ., Inst. für Informatik
CY  - Koblenz
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Y1  - 1994
N1  - (Ulmer Informatik-Berichte ; 94,4)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  -