Journal of Logic Programming, Volume 22

Volume 22, Number 1, January 1995

• Manuel V. Hermenegildo, Francesca Rossi: Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. 1-45 BibTeX
• Bern Martens, Danny De Schreye: Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem. 47-99 BibTeX

Volume 22, Number 2, February 1995

• Piero A. Bonatti: Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. 91-149 BibTeX , preliminary version: ICLP 1992: 417-430
• Phan Minh Dung: An Argumentation-Theoretic Foundations for Logic Programming. 151-171 BibTeX , short version: ICLP 1991: 3-17

Volume 22, Number 3, March 1995

• Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Type Analysis of Prolog Using Type Graphs. 179-209 BibTeX , short version: PLDI 1994: 337-348
• Jia-Huai You, Li-Yan Yuan: On the Equivalence of Semantics for Normal Logic Programs. 211-222 BibTeX
• María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Unsatisfiability for Equational Logic Programming. 223-254 BibTeX