Barboza, T., F. A. Baião, and F. M. Santoro. “A Logic-Based Approach to Automatically Validate Knowledge-Intensive Processes”. ISys - Brazilian Journal of Information Systems, vol. 12, no. 1, Apr. 2019, pp. 76-99, doi:10.5753/isys.2019.384.