%0 Conference Paper %1 conf/popl/Harel79 %A Harel, David %B POPL %D 1979 %E Aho, Alfred V. %E Zilles, Stephen N. %E Rosen, Barry K. %I ACM Press %K dblp %P 81-92 %T Recursion in Logics of Programs. %U http://dblp.uni-trier.de/db/conf/popl/popl79.html#Harel79

@inproceedings{conf/popl/Harel79, added-at = {2018-11-06T00:00:00.000+0100}, author = {Harel, David}, biburl = {https://www.bibsonomy.org/bibtex/2a1055bfce0349f9afe0e5bbdd7c12ba8/dblp}, booktitle = {POPL}, cdrom = {POPL/00001699.PDF}, crossref = {conf/popl/79}, editor = {Aho, Alfred V. and Zilles, Stephen N. and Rosen, Barry K.}, ee = {https://doi.org/10.1145/567752.567760}, interhash = {41317c9a90545c8c59870534b0062f16}, intrahash = {a1055bfce0349f9afe0e5bbdd7c12ba8}, keywords = {dblp}, pages = {81-92}, publisher = {ACM Press}, timestamp = {2018-11-07T16:48:15.000+0100}, title = {Recursion in Logics of Programs.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl79.html#Harel79}, year = 1979 }