External Links

    Journal: Journal of Automated Reasoning

    Volume 16, Issue 3

    223 -- 239Robert Veroff. Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies
    241 -- 319Peter Baumgartner. Linear and Unit-Resulting Refutations for Horn Theories
    321 -- 353Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi. TPS: A Theorem-Proving System for Classical Type Theory
    355 -- 368Lusheng Wang, S. K. Michael Wong, Yiyu Yao. On the Completeness of Incidence Calculus
    369 -- 425Michael Hedberg. A Type-Theoretic Interpretation of Constructive Domain Theory

    Volume 16, Issue 1-2

    3 -- 37François Bronsard, Uday S. Reddy, Robert W. Hasker. Induction Using Term Orders
    39 -- 78Deepak Kapur, Mahadevan Subramaniam. New Uses of Linear Arithmetic in Automated Theorem Proving by Induction
    79 -- 111Andrew Ireland. Productive Use of Failure in Inductive Proof
    113 -- 145Ina Kraan, David A. Basin, Alan Bundy. Middle-Out Reasoning for Synthesis and Induction
    147 -- 180David A. Basin, Toby Walsh. A Calculus for and Termination of Rippling
    181 -- 222Matt Kaufmann, Paolo Pecchiari. Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem
    runs on