External Links

    Journal: Journal of Automated Reasoning

    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