@inproceedings{SchmidtSchaussSabelMachkasova2010,
  author    = {Manfred Schmidt-Schauß and David Sabel and Elena Machkasova},
  title     = {Simulation in the call-by-need lambda-calculus with letrec},
  booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA'10)},
  pages     = {295 -- 310},
  doi       = {10.4230/LIPIcs.RTA.2010.295},
  year      = {2010},
}