@article{Fassbender2008,
  author    = {Heinz Faßbender},
  title     = {A verified implementation of narrowing},
  journal   = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)},
  pages     = {63 -- 80},
  year      = {2008},
}