External Links

    Journal: TPLP

    Volume 11, Issue 6

    841 -- 879Edmund S. L. Lam, Martin Sulzmann. Concurrent goal-based execution of Constraint Handling Rules
    881 -- 904Miroslaw Truszczynski. Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs
    905 -- 952Luciano Caroprese, Miroslaw Truszczynski. Active integrity constraints and revision programming
    953 -- 988Martin Gebser, Joohyung Lee, Yuliya Lierler. On elementary loops of logic programs
    989 -- 992Rosella Gennari. Mathematical Logic: Foundations for Information Science by Wei Li, Birkhäuser, Berlin, 2010. Hardcover, ISBN-978-3-7643-9976-4
    runs on