External Links

    Journal: TPLP

    Volume 8, Issue 1

    1 -- 31Robert Colvin, Ian J. Hayes, Paul A. Strooper. Calculating modules in contextual logic program refinement
    33 -- 79Lunjin Lu. Improving precision of type analysis using non-discriminative union
    81 -- 109Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen. Linear tabling strategies and optimizations
    111 -- 119Frédéric Mesnard, Alexander Serebrenik. Recurrence with affine level mappings is P-time decidable for CLP(R)
    121 -- 128Michael Codish, Vitaly Lagoon, Peter J. Stuckey. Logic programming with satisfiability
    runs on