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.