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