Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{Rondogiannis:1998:BTL, author = "P. Rondogiannis and M. Gergatsoulis and T. Panayiotopoulos", title = "Branching-time logic programming: the language {{\em Cactus\/}} and its applications", journal = j-COMP-LANGS, volume = "24", number = "3", pages = "155--178", day = "1", month = oct, year = "1998", CODEN = "COLADA", ISSN = "0096-0551 (print), 1873-6742 (electronic)", ISSN-L = "0096-0551", bibdate = "Thu Oct 12 10:20:09 MDT 2000", bibsource = "http://www.elsevier.com/locate/complang; http://www.math.utah.edu/pub/tex/bib/complngs.bib", URL = "http://www.elsevier.nl/gej-ng/10/15/18/27/19/18/abstract.html; http://www.elsevier.nl/gej-ng/10/15/18/27/19/18/article.pdf", acknowledgement = ack-nhfb, journal-URL = "http://www.sciencedirect.com/science/journal/00960551", }