Barboza, T.; Baião, F. A.; Santoro, F. M. A Logic-Based Approach to Automatically Validate Knowledge-Intensive Processes. iSys 2019, 12, 76-99.