Bruynooghe, Maurice, Marc Denecker, and Miroslaw Truszczynski. 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.