Shih, T.; Lin, F. An Operational Semantics Approach to Disciplined Exceptions in Logic Programming. Comput. Inform. 2012, 14, 1-33.