Cactus: A Branching-Time Logic Programming Language.

Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos

Browse the full ECSQARU paper archive.