Panos Rondogiannis Manolis Gergatsoulis Themis Panayiotopoulos Branching-Time Logic Programming: The Language <i>Cactus</i> and its Applications. 155-178 1998 24 Comput. Lang. 3 db/journals/cl/cl24.html#RondogiannisGP98