Gergatsoulis, M. and P. Rondogiannis (editors), Intensional Programming II, pages 117-132, World Sientific, 2000
(2000)
Gergatsoulis, M. (2000)
Gergatsoulis, M. "Extensions of the branching-time logic programming language CACTUS" pp117-132