What has the author Zbigniew Stachniak written?

Zbigniew Stachniak has written:

'Resolution proof systems' -- subject(s): Artificial intelligence, Automatic theorem proving, Logic, Symbolic and mathematical, Symbolic and mathematical Logic