Canonical Propositional Gentzen-Type Systems.

Arnon Avron, Iddo Lev

Browse the full CADE paper archive.