@inproceedings{conf/popl/Lamping90,
  added-at = {2010-01-28T00:00:00.000+0100},
  author = {Lamping, John},
  biburl = {http://www.bibsonomy.org/bibtex/29160f34685e279e2f22fd58d9064a09b/dblp},
  booktitle = {POPL},
  date = {2010-01-28},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/96709.96711},
  interhash = {805d4d223049ce2b19e9ec8d98429cb7},
  intrahash = {9160f34685e279e2f22fd58d9064a09b},
  keywords = {dblp},
  pages = {16-30},
  timestamp = {2010-01-28T00:00:00.000+0100},
  title = {An Algorithm for Optimal Lambda Calculus Reduction.},
  url = {http://dblp.uni-trier.de/db/conf/popl/popl90.html#Lamping90},
  year = 1990
}