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