%0 Conference Paper %1 conf/popl/EmersonSS89 %A Emerson, E. Allen %A Sadler, Tom %A Srinivasan, Jai %B POPL %D 1989 %I ACM Press %K dblp %P 166-178 %T Efficient Temporal Reasoning. %U http://dblp.uni-trier.de/db/conf/popl/popl89.html#EmersonSS89 %@ 0-89791-294-2

@inproceedings{conf/popl/EmersonSS89, added-at = {2018-11-06T00:00:00.000+0100}, author = {Emerson, E. Allen and Sadler, Tom and Srinivasan, Jai}, biburl = {https://www.bibsonomy.org/bibtex/25f312d3dcf53ed8e032e9bfbdb7136e2/dblp}, booktitle = {POPL}, crossref = {conf/popl/1989}, ee = {https://doi.org/10.1145/75277.75292}, interhash = {a365f99fe4f8551bf64d3a81609695f5}, intrahash = {5f312d3dcf53ed8e032e9bfbdb7136e2}, isbn = {0-89791-294-2}, keywords = {dblp}, pages = {166-178}, publisher = {ACM Press}, timestamp = {2018-11-07T15:43:45.000+0100}, title = {Efficient Temporal Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl89.html#EmersonSS89}, year = 1989 }