V. Kasalica and A.-L. Lamprecht, “Workflow Discovery with Semantic Constraints: The SAT-Based Implementation of APE”, eceasst, vol. 78, May 2020.