T. Barboza, F. A. Baião, and F. M. Santoro, “A Logic-Based Approach to Automatically Validate Knowledge-intensive Processes”, iSys, vol. 12, no. 1, pp. 76–99, Apr. 2019.