Barboza, T., Baião, F. A., & Santoro, F. M. (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