M. Bruynooghe, M. Denecker, and M. Truszczynski, “First Order Logic with Inductive Definitions for Model-Based Problem Solving”, AIMag, vol. 37, no. 3, pp. 69-80, Oct. 2016.