Volume 11, Numbers 1&2, July 1991

• 
  Larry Wos, William McCune: Automated Theorem Proving and Logic Programming. 1-53
• 
  Laxmikant V. Kalé: The Reduce-Or Process Model for Parallel Execution of Logic Programs. 55-84, (preliminary version: ICLP 1987: 616-632)
• 
  Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi: Comments on "Logic-Programming with Equations". 85-89, (see JLP 4: 265-288 (1987))
• 
  Melvin Fitting: Bilattices and the Semantics of Logic Programming. 91-116
• 
  Malik Ghallab, Gonzalo Escalada-Imaz: A Linear Control Algorithm for a Class of Rule-Based Systems. 117-132
• 
  Evan Tick: Memory- and Buffer-Referencing Characteristics of a WAM-Based Prolog. 133-162
• 
  Philip W. Dart: On Derived Dependencies and Connected Databases. 163-188

Volume 11, Numbers 3&4, October/November 1991

• 
  Raghu Ramakrishnan: Magic Templates: A Spellbinding Approach To Logic Programs. 189-216
• 
  John W. Lloyd, John C. Shepherdson: Partial Evaluation in Logic Programming. 217-242
• 
  Jonathan S. Ostroff: Constraint Logic Programming for Reasoning About Discrete Event Processes. 243-270
• 
  Matthew L. Ginsberg: Negative Subgoals with Free Variables. 271-293
• 
  Isaac Balbin, Graeme S. Port, Kotagiri Ramamohanarao, Krishnamurthy Meenakshi: Efficient Bottom-UP Computation of Queries on Stratified Databases. 295-344
• 
  Ouri Wolfson, Abraham Silberschatz: Decomposability and its Role in Parallel Logic Program Evaluation. 345-358
• 
  John C. Shepherdson: Correct Answers to Allowed Programs and Queries are Ground. 359-362

last updated on Tue May 21 03:11:57 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page