Barboza, Tatiana, Fernanda Araújo Baião, and Flávia Maria Santoro. “A Logic-Based Approach to Automatically Validate Knowledge-Intensive Processes”. iSys - Brazilian Journal of Information Systems 12, no. 1 (April 17, 2019): 76–99. Accessed April 19, 2024. https://sol.sbc.org.br/journals/index.php/isys/article/view/384.