Proof Systems for Effectively Propositional Logic.

Juan Antonio Navarro Prez, Andrei Voronkov

Browse the full CADE paper archive.