Marinković V. Proof Simplification in the Framework of Coherent Logic. Comput. Inform. [Internet]. 2015 Oct. 19 [cited 2024 Nov. 23];34(2):337-66. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/1370