Kasalica, V. and Lamprecht, A.-L. 2020. Workflow Discovery with Semantic Constraints: The SAT-Based Implementation of APE. Electronic Communications of the EASST. 78, (May 2020). DOI:https://doi.org/10.14279/tuj.eceasst.78.1092.