@book{FassbenderVogler1992,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A universal unification algorithm based on unification driven leftmost outermost narrowing},
  publisher = {Univ. Ulm, Fak. f{\"u}r Informatik},
  address   = {Ulm},
  pages     = {47 S. : graph. Darst.},
  year      = {1992},
  language  = {en}
}
@article{FassbenderVogler1992,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {An implementation of syntax directed functional programming on nested-stack machines},
  series = {Formal Aspects of Computing. 4 (1992), H. 4},
  journal   = {Formal Aspects of Computing. 4 (1992), H. 4},
  isbn      = {0934-5043},
  pages     = {341 -- 375},
  year      = {1992},
  language  = {en}
}