Journal of Logic Programming, Volume 27

Volume 27, Number 1, April 1996

• Pascal Van Hentenryck: In Memoriam: Paris C. Kanellakis. 1-3 BibTeX
• Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. 5-43 BibTeX
• Gopal Gupta, Vítor Santos Costa: Cuts and Side-Effects in And-Or Parallel Prolog. 45-71 BibTeX
• Natraj Arni, Sergio Greco, Domenico Saccà: Matching of Bounded Set Terms in the Logic Language LDL++. 73-87 BibTeX

Volume 27, Number 2, May 1996

• Wlodzimierz Drabent: Completeness of SLDNF-Resolution for Nonfloundering Queries. 89-106 BibTeX
• Katsumi Inoue, Chiaki Sakama: A Fixpoint Characterization of Abductive Logic Programs. 107-136 BibTeX
• Agostino Cortesi, Gilberto Filé, William H. Winsborough: Optimal Groundness Analysis Using Propositional Logic. 137-167 BibTeX
• Weidong Chen: Extending Prolog with Nonmonotonic Reasoning. 169-183 BibTeX

Volume 27, Number 3, June 1996

• Philippe Codognet, Daniel Diaz: Compiling Constraints in clp(FD). 185-226 BibTeX
• Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz: Smallest Horn Clause Programs. 227-267 BibTeX