Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.

Zbigniew Stachniak

Browse the full ISMIS paper archive.