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