Bruynooghe, Maurice, Marc Denecker, and Miroslaw Truszczynski. “First Order Logic With Inductive Definitions for Model-Based Problem Solving”. AI Magazine 37, no. 3 (October 7, 2016): 69-80. Accessed May 21, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2679.