External Links

    Journal: Journal of Automated Reasoning

    Volume 42, Issue 1

    1 -- 33Osman Hasan, Sofiène Tahar. Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL
    35 -- 76C. A. Johnson. Computing Only Minimal Answers in Disjunctive Deductive Databases
    77 -- 97Marko Samer, Stefan Szeider. Backdoor Sets of Quantified Boolean Formulas
    99 -- 122Magnus Björk. First Order Stålmarck
    runs on