External Links

    Journal: Journal of Automated Reasoning

    Volume 14, Issue 3

    353 -- 381Karl Schlechta. Logic, Topology, and Integration
    383 -- 412Joan Hart, Kenneth Kunen. Single Axioms for Odd Exponent Groups
    413 -- 426Thomas Jech. OTTER Experiments in a System of Combinatory Logic
    427 -- 462I. Chakrabarti, Dilip Sarkar, Arun K. Majumdar. Identification of Inductive Properties during Verification of Synchronous Sequential Circuits
    runs on