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