Journal of Logic Programming, Volume 25

Volume 25, Number 1, October 1995

• Jan Chomicki: Depth-Bounded Bottom-Up Evaluation of Logic Program. 1-31
• José Alberto Fernández, Jack Minker: Bottom-Up Compuation of Perfect Models for Disjunctive Theories. 33-51
• Raymond Reiter: On Specifying Database Updates. 53-91

Volume 25, Number 2, November 1995

• Håkan Millroth: SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs. 93-117
• Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon: Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. 119-161
• Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Undecidable Boundedness Problems for Datalog Programs. 163-190

Volume 25, Number 3, December 1995

• Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi: Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. 191-247
• Michael Codish, Bart Demoen: Analyzing Logic Programs Using "PROP"-ositional Logic Programs and a Magic Wand. 249-274