V. Marinković, “Proof Simplification in the Framework of Coherent Logic”, Comput. Inform., vol. 34, no. 2, pp. 337–366, Oct. 2015.