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