@article{Fassbender2008,
  author    = {Heinz Faßbender},
  title     = {Implementation of a universal unification algorithm for macro tree transducers},
  journal   = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)},
  pages     = {222 -- 233},
  year      = {2008},
}