External Links

    Journal: Journal of Automated Reasoning

    Volume 44, Issue 4

    303 -- 336Alexander Krauss. Partial and Nested Recursive Function Definitions in Higher-order Logic
    337 -- 369Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn. Incremental Classification of Description Logics Ontologies
    371 -- 399Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. ::::BC::::::::D::::::::L::::/boldsymbol {/cal BC/!D/!L}: Basic Constructive Description Logic
    401 -- 424Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner. Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

    Volume 44, Issue 3

    175 -- 205Behzad Akbarpour, Lawrence C. Paulson. MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
    207 -- 243Michael Mendler, Stephan Scheele. Towards Constructive DL for Abstraction and Refinement
    245 -- 276Olivier Hermant. Resolution is Cut-Free
    277 -- 301Knot Pipatsrisawat, Adnan Darwiche. On Modern Clause-Learning Satisfiability Solvers

    Volume 44, Issue 1-2

    1 -- 2Jacques Carette, Makarius Wenzel, Freek Wiedijk. Preface
    3 -- 24Predrag Janicic. Geometry Constructions Language
    25 -- 52Claudio Sacerdoti Coen. Declarative Representation of Proof Terms
    53 -- 78Ferruccio Guidi. Procedural Representation of CIC Proof Terms
    79 -- 110Dominik Dietrich, Ewaryst Schulz. Crystal: Integrating Structured Queries into a Tactic Language
    111 -- 144Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff. HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler
    145 -- 174Perry R. James, Patrice Chalin. Faster and More Complete Extended Static Checking for the Java Modeling Language
    runs on