Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos. Cactus: A Branching-Time Logic Programming Language. In Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach, editors, Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR 97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Volume 1244 of Lecture Notes in Computer Science, pages 511-524, Springer, 1997.
@inproceedings{RondogiannisGP97,
title = {Cactus: A Branching-Time Logic Programming Language},
author = {Panos Rondogiannis and Manolis Gergatsoulis and Themis Panayiotopoulos},
year = {1997},
tags = {programming languages, logic programming, programming, logic},
researchr = {https://researchr.org/publication/RondogiannisGP97},
cites = {0},
citedby = {0},
pages = {511-524},
booktitle = {Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR 97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
editor = {Dov M. Gabbay and Rudolf Kruse and Andreas Nonnengart and Hans Jürgen Ohlbach},
volume = {1244},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63095-3},
}