Rondogiannis, P., M. Gergatsoulis, et al. "Branching-time logic programming: the language Cactus and its applications"

(1998) Computer Languages 24(3)  

Languages mentioned Cactus {1998}