Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics.

Peter W. O'Hearn, Zbigniew Stachniak

Browse the full ISSAC paper archive.