BRUYNOOGHE, M.; DENECKER, M.; TRUSZCZYNSKI, M. First Order Logic with Inductive Definitions for Model-Based Problem Solving. AI Magazine, [S. l.], v. 37, n. 3, p. 69-80, 2016. DOI: 10.1609/aimag.v37i3.2679. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2679. Acesso em: 29 may. 2024.