Journal of Logic Programming, Volume 15

Volume 15, Numbers 1&2, January 1993

• Tadashi Kanamori, Tadashi Kawamura: Abstract Interpretation based on OLDT Resolution. 1-30 BibTeX
• Tadashi Kanamori: Abstract Interpretation Based on Alexander Templates. 31-54 BibTeX
• Gerhard Jäger, Robert F. Stärk: The Defining Power of Stratified and Hierarchical Logic Programs. 55-77 BibTeX
• Marc Bezem: Strong Termination of Logic Programs. 79-97 BibTeX , preliminary version: NACLP 1989: 69-80
• Eliezer L. Lozinskii: A Simple Test Improves Checking Satisfiability. 99-111 BibTeX
• Tomas Hrycej: A Temporal Extension of Prolog. 113-145 BibTeX
• Roland N. Bol: Loop Checking and Negation. 147-175 BibTeX
• John N. Hooker: Solving the incremental satisfiability problem. 177-186 BibTeX

Volume 15, Number 3, February 1993

• Weidong Chen, Michael Kifer, David Scott Warren: HILOG: A Foundation for Higher-Order Logic Programming. 187-230 BibTeX
• Oded Shmueli: Equivalence of DATALOG Queries is Undecidable. 231-241 BibTeX , preliminary version: PODS 1987: 237-249
• Mark Wallace: Tight, Consistent and Computable Completions for Unrestricted Logic Programs. 243-273 BibTeX

Volume 15, Number 4, April 1993

• Neng-Fa Zhou: Global Optimizations in a Prolog Compiler for the TOAM. 275-294 BibTeX
• Antonio Brogi, Roberto Gorrieri: Distributed Logic Programming. 295-335 BibTeX
• Karl Stroetmann: A Completeness Result for SLDNF-Resolution. 337-355 BibTeX