External Links

    Journal: Journal of Automated Reasoning

    Volume 22, Issue 2

    117 -- 147Erica Melis, Jon Whittle. Analogy in Inductive Theorem Proving
    149 -- 170A. K. Shiny, Arun K. Pujari. An Efficient Algorithm to Generate Prime Implicants
    171 -- 221William E. Aitken, Robert L. Constable, Judith L. Underwood. Metalogical Frameworks II: Developing a Reflected Decision Procedure
    223 -- 239Leon Lukaszewicz. Triple Dots in a Formal Language
    241 -- 262Gilles Pesant, Michel Boyer. Reasoning about Solids Using Constraint Logic Programming
    263 -- 309Ofer Arieli, Arnon Avron. A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
    311 -- 339Johan G. F. Belinfante. Computer Proofs in Gödel s Class Theory with Equational Definitions for Composite and Cross
    341 -- 378Johan G. F. Belinfante. On Computer-Assisted Proofs in Ordinal Number Theory
    runs on