Journal of Automated Reasoning (JAR), Volume 17

Volume 17, Number 1, August 1996

• Jian Zhang: Constructing Finite Algebras with FALCON. 1-22
• Larry Wos: The Power of Combining Resonance with Heat. 23-81
• Kenneth Kunen: The Semantics of Answer Literals. 83-95
• Philippe Codognet, Daniel Diaz: A Simple and Efficient Boolean Solver for Constraint Logic Programming. 97-129
• Paliath Narendran, Michaël Rusinowitch: Any Ground Associative-Commutative Theory Has a Finite Canonical System. 131-143

Volume 17, Number 2, October 1996

• Steve Linton, Duncan Shand: Some Group Theoretic Examples with Completion Theorem Provers. 145-169
• José Alberto Fernández, John Grant, Jack Minker: Model Theoretic Approach to View Updates in Deductive Databases. 171-197
• Michael Thielscher: On the Completeness of SLDENF-Resolution. 199-214
• Larry Wos: OTTER and the Moufang Identity Problem. 215-257

Volume 17, Number 3, December 1996

• Yannis Dimopoulos: On Computing Logic Programs. 259-289
• Lawrence C. Paulson, Krzysztof Grabczewski: Mechanizing Set Theory. 291-323
• Shang-Ching Chou, Xiao-Shan Gao: Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. 325-347
• Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Generation of Readable Proofs with Geometric Invariants. 349-370
• Greg Sidebottom, William S. Havens: Nicolog: A Simple Yet Powerful cc(FD) Language. 371-403