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), pp. 76–99. doi: 10.5753/isys.2019.384.