Marinković, V. 2015. Proof Simplification in the Framework of Coherent Logic. Computing and Informatics. 34, 2 (Oct. 2015), 337–366.