Marinković, V. 2015. Proof Simplification in the Framework of Coherent Logic. COMPUTING AND INFORMATICS. 34, 2 (Oct. 2015), 337–366.