Kasalica, V.; Lamprecht, A.-L. Workflow Discovery With Semantic Constraints: The SAT-Based Implementation of APE. eceasst 2020, 78.