Bruynooghe, M.; Denecker, M.; Truszczynski, M. First Order Logic With Inductive Definitions for Model-Based Problem Solving. AIMag 2016, 37, 69-80.