@article{FassbenderManeth2008,
  author    = {Heinz Faßbender and Sebastian Maneth},
  title     = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian},
  journal   = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)},
  pages     = {194 -- 208},
  year      = {2008},
}