Return to Article Details Proof Simplification in the Framework of Coherent Logic Download Download PDF