Barboza T, Baião FA, Santoro FM. A Logic-Based Approach to Automatically Validate Knowledge-intensive Processes. iSys [Internet]. 2019Apr.17 [cited 2024Apr.26];12(1):76-99. Available from: https://sol.sbc.org.br/journals/index.php/isys/article/view/384