@book{Fassbender2008,
  author    = {Heinz Faßbender},
  title     = {E-Unifikation f{\"u}r primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.},
  isbn      = {3-8265-0917-X},
  year      = {2008},
}