External Links

    Journal: Journal of Automated Reasoning

    Volume 55, Issue 2

    91 -- 116Daniel Kühlwein, Josef Urban. MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers
    117 -- 183Jared Davis, Magnus O. Myreen. The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)
    185 -- 0Marta Cialdea Mayer. Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders
    runs on