Computer Languages 24(3)

Computer Languages, Elsevier 1976 -  

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