External Links

    Journal: Journal of Automated Reasoning

    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
    runs on