@article{FassbenderVoglerWedel2008,
  author    = {Heinz Faßbender and Heiko Vogler and Andrea Wedel},
  title     = {An abstract machine for the E-Unification with macro tree transducer},
  journal   = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  year      = {2008},
}