Shih, T. and Lin, F. (2012) “An Operational Semantics Approach to Disciplined Exceptions in Logic Programming”, Computing and Informatics, 14(1), pp. 1–33. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/219 (Accessed: 8 November 2024).