Resolution Proof Systems with Weak Transformation Rules.

Zbigniew Stachniak

Browse the full ISSAC paper archive.