Proof Theoretic Reasoning in System P.

Simon Parsons, Rachel A. Bourne

Browse the full FlAIRS paper archive.