Shih, T., and F. Lin. 2012. “An Operational Semantics Approach to Disciplined Exceptions in Logic Programming”. COMPUTING AND INFORMATICS 14 (1):1-33. https://www.cai.sk/ojs/index.php/cai/article/view/219.