Shih, T. and Lin, F. 2012. An Operational Semantics Approach to Disciplined Exceptions in Logic Programming. Computing and Informatics. 14, 1 (Jan. 2012), 1–33.