Journal of Automated Reasoning (JAR), Volume 10

Volume 10, Number 1, February 1993

• William McCune: Single Axioms for Groups and Abelian Groups with Various Operations. 1-13 BibTeX
• P. A. J. Noel: Experimenting with Isabelle in ZF Set Theory. 15-58 BibTeX
• Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu: Fuzzy Operator Logic and Fuzzy Resolution. 59-78 BibTeX
• Francisco Corella: What Holds in a Context? 79-93 BibTeX
• Jim Christian: Flatterms, Discrimination Nets, and Fast Term Rewriting. 95-113 BibTeX
• Frank Vlach: Simplification in a Satisfiability Checker for VLSI Applications. 115-136 BibTeX

• Larry Wos: The Problem of Automated Theorem Finding. 137-138 BibTeX

Volume 10, Number 2, April 1993

• Li-Yan Yuan, Jia-Huai You: Autoepistemic Circumscription and Logic Programming. 143-160 BibTeX
• Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of Ritt-Wu's Decomposition Algorithm. 161-172 BibTeX
• Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving. 173-189 BibTeX
• Raymond T. Ng, V. S. Subrahmanian: A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. 191-235 BibTeX
• Marek A. Suchenek: First -Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment. 237-263 BibTeX
• Arnon Avron: Gentzen-Type Systems, Resolution and Tableaux. 265-281 BibTeX

• Larry Wos: The Problem of Selecting an Approach Based on Prior Success. 283-284 BibTeX

Volume 10, Number 3, June 1993

• Larry Wos: The Kernel Strategy and Its Use for the Study of Combinatory Logic. 287-343 BibTeX
• James J. Lu, Monica D. Barback, Lawrence J. Henschen: Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. 345-370 BibTeX
• James J. Lu, V. S. Subrahmanian: Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability. 371-388 BibTeX
• Joachim Steinbach: Simplification Orderings: Putting Them to the Test. 389-397 BibTeX
• Chitta Baral, V. S. Subrahmanian: Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. 399-420 BibTeX

• Larry Wos: The Problem of Reasoning by Analogy. 421-422 BibTeX