External Links

    Journal: Journal of Automated Reasoning

    Volume 5, Issue 3

    257 -- 291Peter B. Andrews. On Connections and Higher-Order Logic
    293 -- 307Arcot Rajasekar, Jorge Lobo, Jack Minker. Weak Generalized Closed World Assumption
    309 -- 337Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber. Horn Equational Theories and Paramodulation
    339 -- 362Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper. Discovering Inequality Conditions in the Analytic Solution of Optimization Problems
    363 -- 397Lawrence C. Paulson. The Foundation of a Generic Theorem Prover
    399 -- 401Larry Wos. The Problem of Guaranteeing the Existence of a Complete Set of Reductions
    403 -- 408Richard Schmid, Hans-Albert Schneider, Thomas Filkorn. Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle
    runs on