TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification driven leftmost outermost narrowing
Y1  - 1992
N1  - (Ulmer Informatik-Berichte ; 92,7)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - An implementation of syntax directed functional programming on nested-stack machines
JF  - Formal Aspects of Computing. 4 (1992), H. 4
Y1  - 1992
SN  - 0934-5043
SP  - 341
EP  - 375
ER  -