Marinković, V. Proof Simplification in the Framework of Coherent Logic. Comput. Inform. 2015, 34, 337-366.