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 BibTeX
• Piero A. Bonatti: Autoepistemic Logic Programming. 35-67 BibTeX
• Li-Yan Yuan: Autoepistemic Logic of First Order and Its Expressive Power. 69-82 BibTeX
• C. A. Johnson: On the Termination of Clause Graph Resolution. 83-115 BibTeX
• Adnan H. Yahya, José Alberto Fernández, Jack Minker: Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. 117-143 BibTeX
• Chiaki Sakama, Katsumi Inoue: An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. 145-172 BibTeX

Volume 13, Number 2, 1994

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

Volume 13, Number 3, 1994

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