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