Marinković, V. (2015) “Proof Simplification in the Framework of Coherent Logic”, COMPUTING AND INFORMATICS, 34(2), pp. 337–366. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/1370 (Accessed: 4 May 2024).