%0 Journal Article %1 journals/jfp/Reade93 %A Reade, Chris %D 1993 %J J. Funct. Program. %K dblp %N 2 %P 247-250 %T Terminating Comprehensions. %U http://dblp.uni-trier.de/db/journals/jfp/jfp3.html#Reade93 %V 3

@article{journals/jfp/Reade93, added-at = {2011-06-10T00:00:00.000+0200}, author = {Reade, Chris}, biburl = {https://www.bibsonomy.org/bibtex/255c54a2173edddd378a9869b441eb0b6/dblp}, ee = {http://dx.doi.org/10.1017/S095679680000071X}, interhash = {9625cd8e5d17c3d6e17a0d8293751510}, intrahash = {55c54a2173edddd378a9869b441eb0b6}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 2, pages = {247-250}, timestamp = {2011-06-11T11:33:27.000+0200}, title = {Terminating Comprehensions.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp3.html#Reade93}, volume = 3, year = 1993 }