@book{Fassbender1995,
  author    = {Faßbender, Heinz},
  title     = {E-Unifikation f{\"u}r primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.},
  publisher = {Shaker},
  address   = {Aachen},
  isbn      = {3-8265-0917-X},
  pages     = {IX, 272 S. : graph. Darst.},
  year      = {1995},
  language  = {de}
}