On the Automatizability of Resolution and Related Propositional Proof Systems.

Albert Atserias, Maria Luisa Bonet

Browse the full CSL paper archive.