Journal of Logic Programming, Volume 28

Volume 28, Number 1, July 1996

• Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: A Language for Programming in Logic with Finite Sets. 1-44 BibTeX
• Sibel Adali, V. S. Subrahmanian: Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing. 45-88 BibTeX

Volume 28, Number 2, August 1996

• Bern Martens, Danny De Schreye: Automatic Finite Unfolding Using Well-Founded Measures. 89-146 BibTeX
• Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi: A Closer Look at Declarative Interpretations. 147-180 BibTeX

Volume 28, Number 3, September 1996

• Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe: On the Design of a Correct Freeness Analysis for Logic Programs. 181-206 BibTeX
• Anatoli Degtyarev, Andrei Voronkov: A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers. 207-216 BibTeX
• Thomas Lindgren: Polyvariant Detection of Uninitialized Arguments of Prolog Predicates. 217-229 BibTeX
• Bernhard Beckert, Joachim Posegga: Logic Programming as a Basis for Lean Automated Deduction. 231-236 BibTeX