Canonical Inference for Implicational Systems.

Maria Paola Bonacina, Nachum Dershowitz

Browse the full CADE paper archive.