Resolution Proof Systems door Zbigniew Stachniak