External Links

    Journal: Journal of Automated Reasoning

    Volume 4, Issue 3

    237 -- 267Shang-Ching Chou. An Introduction to Wu s Method for Mechanical Theorem Proving in Geometry
    269 -- 286Sidney C. Bailin. A lambda-Unifiability Test for Set Theory
    287 -- 325David A. Plaisted. Non-Horn Clause Logic Programming Without Contrapositives
    327 -- 329Larry Wos. The Problem of Self-Analytically Choosing the Set of Support
    331 -- 352Deepak Kapur, Hantao Zhang. Proving Equivalence of Different Axiomatizations of Free Groups
    runs on