Note on Effective Constructibility of Resolution Proof Systems.

Zbigniew Stachniak

Browse the full JELIA paper archive.