@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   = {Journal of functional and logic programming. 1998 (1998), H. 4},
  year      = {2008},
}