Resolution Proof Systems by Zbigniew Stachniak