Marinković, V. (2015) “Proof Simplification in the Framework of Coherent Logic”, Computing and Informatics, 34(2), pp. 337–366. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/1370 (Accessed: 23 November 2024).