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