@book{FassbenderVoglerWedel2008,
  author    = {Heinz Faßbender and Heiko Vogler and Andrea Wedel},
  title     = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers},
  year      = {2008},
}