Journal of Logic Programming, Volume 32

Volume 32, Number 1, July 1997

• Frédéric Benhamou, William J. Older: Applying Interval Arithmetic to Real, Integer, and Boolean Constraints. 1-24 BibTeX
• Peter A. Bigot, Saumya K. Debray: A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. 25-47 BibTeX
• Dietmar Seipel, Jack Minker, Carolina Ruiz: Model Generation and State Generation for Disjunctive Logic Programs. 49-69 BibTeX
• Kim Marriott: Algebraic and Logical Semantics for CLP Languages with Dynamic Scheduling. 71-84 BibTeX

Volume 32, Number 2, August 1997

• François Fages: Constructive Negation by Pruning. 85-118 BibTeX
• Anthony J. Bonner: Intuitionistic Deductive Databases and the Polynomial Time Hierarchy. 1-47 BibTeX

Volume 32, Number 3, September 1997

• Peter J. Stuckey, S. Sudarshan: Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models. 171-205 BibTeX
• Stefan Brass, Jürgen Dix: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. 207-228 BibTeX
• Chiaki Sakama, Hirohisa Seki: Partial Deduction in Disjunctive Logic Programming. 229-245 BibTeX

• Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo: Exploiting Goal Independence in the Analysis of Logic Programs. 247-261 BibTeX