%0 Conference Paper %1 conf/popl/LeeJB01 %A Lee, Chin Soon %A Jones, Neil D. %A Ben-Amram, Amir M. %B POPL %D 2001 %E Hankin, Chris %E Schmidt, Dave %I ACM %K size-change %P 81-92 %T The size-change principle for program termination. %U http://dblp.uni-trier.de/db/conf/popl/popl2001.html#LeeJB01 %@ 1-58113-336-7

@inproceedings{conf/popl/LeeJB01, added-at = {2014-03-21T18:14:42.000+0100}, author = {Lee, Chin Soon and Jones, Neil D. and Ben-Amram, Amir M.}, biburl = {https://www.bibsonomy.org/bibtex/2e7469ecf10a0af7d6b79b1113fb68bd5/fibso}, booktitle = {POPL}, crossref = {conf/popl/2001}, editor = {Hankin, Chris and Schmidt, Dave}, ee = {http://doi.acm.org/10.1145/360204.360210}, interhash = {f8667e414e20ffffcd9ad94911af0269}, intrahash = {e7469ecf10a0af7d6b79b1113fb68bd5}, isbn = {1-58113-336-7}, keywords = {size-change}, note = {ACM SIGPLAN Notices 36(3), March 2001}, pages = {81-92}, publisher = {ACM}, timestamp = {2014-03-21T18:14:42.000+0100}, title = {The size-change principle for program termination.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2001.html#LeeJB01}, year = 2001 }