T. Shih and F. Lin, “An Operational Semantics Approach to Disciplined Exceptions in Logic Programming”, Comput. Inform., vol. 14, no. 1, pp. 1–33, Jan. 2012.