Barboza, T., Baião, F.A. and Santoro, F.M. 2019. A Logic-Based Approach to Automatically Validate Knowledge-intensive Processes. iSys - Brazilian Journal of Information Systems. 12, 1 (Apr. 2019), 76–99. DOI:https://doi.org/10.5753/isys.2019.384.