External Links

    Journal: Journal of Automated Reasoning

    Volume 4, Issue 4

    353 -- 380Mark E. Stickel. A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler
    381 -- 396Ursula Martin, Tobias Nipkow. Unification in Boolean Rings
    397 -- 424Kenneth A. Ross, Rodney W. Topor. Inferring Negative Information from Disjunctive Databases
    425 -- 444Klaus Heje Munch. A New Reduction Rule for the Connection Graph Proof Procedure
    445 -- 462Leonard G. Monk. Inference Rules Using Local Contexts
    463 -- 464Larry Wos. The Problem of Self-Analytically Choosing the Weights
    465 -- 474Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang. Opening the AC-Unification Race
    runs on