Gergatsoulis, M. "Extensions of the branching-time logic programming language CACTUS" pp117-132

Gergatsoulis, M. (2000) Gergatsoulis, M. and P. Rondogiannis (editors), Intensional Programming II, pages 117-132, World Sientific, 2000  

Languages mentioned Cactus {1998}