Bruynooghe M, Denecker M, Truszczynski M. First Order Logic with Inductive Definitions for Model-Based Problem Solving. AIMag [Internet]. 2016Oct.7 [cited 2024Apr.19];37(3):69-80. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2679