@article{FassbenderMoessleVogler2008,
  author    = {Heinz Faßbender and Andrea M{\"o}ßle and Heiko Vogler},
  title     = {Implementation of a deterministic partial e-unification algorithm for macro tree transducers},
  journal   = {Journal of functional and logic programming. 1996 (1996), H. 2},
  year      = {2008},
}