Bruynooghe, M., Denecker, M. and Truszczynski, M. (2016) “First Order Logic with Inductive Definitions for Model-Based Problem Solving”, AI Magazine, 37(3), pp. 69-80. doi: 10.1609/aimag.v37i3.2679.