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