Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski. First Order Logic with Inductive Definitions for Model-Based Problem Solving. AI Magazine, 37(3):69-80, 2016. [doi]
@article{BruynoogheDT16,
title = {First Order Logic with Inductive Definitions for Model-Based Problem Solving},
author = {Maurice Bruynooghe and Marc Denecker and Miroslaw Truszczynski},
year = {2016},
url = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/2679},
researchr = {https://researchr.org/publication/BruynoogheDT16},
cites = {0},
citedby = {0},
journal = {AI Magazine},
volume = {37},
number = {3},
pages = {69-80},
}