Marinković, V. (2015). Proof Simplification in the Framework of Coherent Logic. Computing and Informatics, 34(2), 337–366. https://cai.type.sk/content/2015/2/proof-simplification-in-the-framework-of-coherent-logic/