Manolis Gergatsoulis. Extensions of the branching-time logic
programming language Cactus. In Manolis Gergatsoulis, and P. Rondogiannis (eds.),
Intensional Programming II, pp. 117-132, World Scientific, 2000.
CITATIONS
Grigoris Antoniou, Pavlos Peppas. Knowledge Representation and Reasoning.
Appears in http://www.eetn.gr/english/artificial_intelligence_topics_files/KnowledgeRepresentationReasoning.pdf