%0 Conference Paper %1 conf/ecsqaru/RondogiannisGP97 %A Rondogiannis, Panos %A Gergatsoulis, Manolis %A Panayiotopoulos, Themis %B ECSQARU-FAPR %D 1997 %E Gabbay, Dov M. %E Kruse, Rudolf %E Nonnengart, Andreas %E Ohlbach, Hans Jürgen %I Springer %K dblp %P 511-524 %T Cactus: A Branching-Time Logic Programming Language. %U http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru1997.html#RondogiannisGP97 %V 1244 %@ 3-540-63095-3

@inproceedings{conf/ecsqaru/RondogiannisGP97, added-at = {2017-05-21T00:00:00.000+0200}, author = {Rondogiannis, Panos and Gergatsoulis, Manolis and Panayiotopoulos, Themis}, biburl = {https://www.bibsonomy.org/bibtex/2d8bf59ba29eb2437f0fcf22930f0a62f/dblp}, booktitle = {ECSQARU-FAPR}, crossref = {conf/ecsqaru/1997}, editor = {Gabbay, Dov M. and Kruse, Rudolf and Nonnengart, Andreas and Ohlbach, Hans Jürgen}, ee = {https://doi.org/10.1007/BFb0035645}, interhash = {4577adc1345578ea1fb2088bf828d3c5}, intrahash = {d8bf59ba29eb2437f0fcf22930f0a62f}, isbn = {3-540-63095-3}, keywords = {dblp}, pages = {511-524}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:51:35.000+0200}, title = {Cactus: A Branching-Time Logic Programming Language.}, url = {http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru1997.html#RondogiannisGP97}, volume = 1244, year = 1997 }