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