Kasalica, Vedran, and Anna-Lena Lamprecht. 2020. “Workflow Discovery With Semantic Constraints: The SAT-Based Implementation of APE”. Electronic Communications of the EASST 78 (May). https://doi.org/10.14279/tuj.eceasst.78.1092.