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 July 5, 2024. https://journals-sol.sbc.org.br/index.php/isys/article/view/384.