Journal of Automated Reasoning (JAR), Volume 17

Volume 17, Number 1, August 1996

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

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

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