External Links

    Journal: Journal of Automated Reasoning

    Volume 22, Issue 4

    379 -- 396Renate A. Schmidt. Decidability by Resolution for Propositional Modal Logics
    397 -- 431Christian B. Suttner. SPS-Parallelism + SETHEO = SPTHEO
    433 -- 483Andrea Formisano, Alberto Policriti. T-Resolution: Refinements and Model Elimination

    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

    Volume 22, Issue 1

    1 -- 44Larry Wos, Gail W. Pieper. The Hot List Strategy
    45 -- 63Frieder Stolzenburg. An Algorithm for General Set Unification and Its Complexity
    65 -- 115Peter Madden, Alan Bundy, Alan Smaill. Recursive Program Optimization Through Inductive Synthesis Proof Transformation
    runs on