Journal of Automated Reasoning (JAR), Volume 13

Volume 13, Number 1, 1994

• Maria Paola Bonacina, Jieh Hsiang: Parallelization of Deduction Strategies: An Analytical Study. 1-33
• Piero A. Bonatti: Autoepistemic Logic Programming. 35-67
• Li-Yan Yuan: Autoepistemic Logic of First Order and Its Expressive Power. 69-82
• C. A. Johnson: On the Termination of Clause Graph Resolution. 83-115
• Adnan H. Yahya, José Alberto Fernández, Jack Minker: Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. 117-143
• Chiaki Sakama, Katsumi Inoue: An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. 145-172

Volume 13, Number 2, 1994

• Melvin Fitting: Tableaux for Logic Programming. 175-188
• Mark E. Stickel: Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction. 189-210
• Reiner Hähnle, Peter H. Schmitt: The Liberalized delta-Rule in Free Variable Semantic Tableaux. 211-221
• Vincent Risch, Camilla Schwind: Tableaux-Based Characterization and Theorem Proving for default Logic. 223-242
• Marcello D'Agostino, Dov M. Gabbay: A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. 243-281

Volume 13, Number 3, 1994

• Owen L. Astrachan: Meteor: Exploring Model Elimination Theorem Proving. 283-296
• Reinhold Letz, Klaus Mayr, Christoph Goller: Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. 297-337
• Peter Baumgartner, Ulrich Furbach: Model Elimination Without Contrapositives and Its Application to PTTP. 339-359
• Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi: An Improved Refutation System for Intuitionistic Predicate Logic. 361-373
• Sven Lorenz: A Tableaux Prover for Domain Minimization. 375-390
• Regimantas Pliuskevicius: The Saturated Tableaux for Linear Miniscoped Horn-like Temporal Logic. 391-407
• Johann Schumann: Tableaux-based Theorem Provers: Systems and Implementations. 409-421