Journal of Automated Reasoning (JAR), Volume 28

Volume 28, Number 1, January 2002

Adnan H. Yahya: Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases. 1-34 BibTeX
Steven Eker: Single Elementary Associative-Commutative Matching. 35-51 BibTeX
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics. 53-97 BibTeX

Ian P. Gent, Toby Walsh: Satisfiability in the Year 2000. 99 BibTeX
Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi: An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. 101-142 BibTeX
Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia: SAT-Based Decision Procedures for Classical Modal Logics. 143-171 BibTeX
Ian Horrocks, Peter F. Patel-Schneider: Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. 173-204 BibTeX
Ullrich Hustadt, Renate A. Schmidt: Using Resolution for Testing Modal Satisfiability and Building Models. 205-232 BibTeX

Robert Cremanns, Friedrich Otto: A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles. 235-256 BibTeX
Predrag Janicic, Alan Bundy: A General Setting for Flexibly Combining and Augmenting Decision Procedures. 257-305 BibTeX
Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier: The IJCAR ATP System Competition. 307-320 BibTeX
Henk Barendregt, Erik Barendsen: Autarkic Computations in Formal Proofs. 321-336 BibTeX

Teodor Knapik: Checking Simple Properties of Transition Systems Defined by Thue Specifications. 337-369 BibTeX
John N. Hooker, G. Rago, V. Chandru, A. Shrivastava: Partial Instantiation Methods for Inference in First-Order Logic. 371-396 BibTeX
Angelo Montanari, Alberto Policriti, Matteo Slanina: Alternative Translation Techniques for Propositional and First-Order Modal Logics. 397-415 BibTeX
Eugene Goldberg: Proving Unsatisfiability of CNFs Locally. 417-434 BibTeX