External Links

    Journal: Journal of Automated Reasoning

    Volume 22, Issue 4

    379 -- 396Renate A. Schmidt. Decidability by Resolution for Propositional Modal Logics
    397 -- 431Christian B. Suttner. SPS-Parallelism + SETHEO = SPTHEO
    433 -- 483Andrea Formisano, Alberto Policriti. T-Resolution: Refinements and Model Elimination
    runs on