External Links

    Journal: Journal of Automated Reasoning

    Volume 60, Issue 4

    385 -- 419Nicolas Matentzoglu, Bijan Parsia, Uli Sattler. OWL Reasoning: Subsumption Test Hardness and Modularity
    421 -- 463Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
    465 -- 501Salvador Lucas, Raúl Gutiérrez. Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories
    503 -- 526Eric Braude, Satbek Abdyldayev. Generalizing Morley's and Other Theorems with Automated Realization
    527 -- 0John Slaney, Bruno Woltzenlogel Paleo. Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning
    runs on