External Links

    Journal: TPLP

    Volume 7, Issue 6

    633 -- 695Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta. PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters
    697 -- 744Tomi Janhunen, Emilia Oikarinen. Automated Verification of Weak Equivalence within the SMODELS System
    745 -- 759Pedro Cabalar, Paolo Ferraris. Propositional theories are strongly equivalent to logic programs
    runs on