@book{FassbenderManeth2008,
  author    = {Heinz Faßbender and Sebastian Maneth},
  title     = {A strict border for the decidability of e-unification for recursive functions},
  year      = {2008},
}