%0 Conference Paper %1 conf/popl/EmersonH83 %A Emerson, E. Allen %A Halpern, Joseph Y. %B POPL %D 1983 %E Wright, John R. %E Landweber, Larry %E Demers, Alan J. %E Teitelbaum, Tim %I ACM Press %K dblp %P 127-140 %T "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. %U http://dblp.uni-trier.de/db/conf/popl/popl83.html#EmersonH83 %@ 0-89791-090-7

@inproceedings{conf/popl/EmersonH83, added-at = {2018-11-06T00:00:00.000+0100}, author = {Emerson, E. Allen and Halpern, Joseph Y.}, biburl = {https://www.bibsonomy.org/bibtex/26e00fbf02f21dc8f287886a30c0a783d/dblp}, booktitle = {POPL}, crossref = {conf/popl/1983}, editor = {Wright, John R. and Landweber, Larry and Demers, Alan J. and Teitelbaum, Tim}, ee = {https://doi.org/10.1145/567067.567081}, interhash = {374385c1cc74151bd58de214e9018fb4}, intrahash = {6e00fbf02f21dc8f287886a30c0a783d}, isbn = {0-89791-090-7}, keywords = {dblp}, pages = {127-140}, publisher = {ACM Press}, timestamp = {2018-11-07T15:43:41.000+0100}, title = {"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl83.html#EmersonH83}, year = 1983 }