@article{FassbenderManeth1998,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian},
  series = {Journal of functional and logic programming. 1998 (1998), H. 4},
  journal   = {Journal of functional and logic programming. 1998 (1998), H. 4},
  isbn      = {1080-5230},
  year      = {1998},
  language  = {en}
}