BARBOZA, T.; BAIÃO, F. A.; SANTORO, F. M. A Logic-Based Approach to Automatically Validate Knowledge-intensive Processes. iSys - Brazilian Journal of Information Systems, [S. l.], v. 12, n. 1, p. 76–99, 2019. DOI: 10.5753/isys.2019.384. Disponível em: https://sol.sbc.org.br/journals/index.php/isys/article/view/384. Acesso em: 29 mar. 2024.