Barboza, Tatiana, Fernanda Araújo Baião, and Flávia Maria Santoro. 2019. “A Logic-Based Approach to Automatically Validate Knowledge-Intensive Processes”. ISys - Brazilian Journal of Information Systems 12 (1):76-99. https://doi.org/10.5753/isys.2019.384.