@book{FassbenderVogler2008,
  author    = {Heinz Faßbender and Heiko Vogler},
  title     = {A universal unification algorithm based on unification driven leftmost outermost narrowing},
  year      = {2008},
}