Kasalica, Vedran, and Anna-Lena Lamprecht. “Workflow Discovery With Semantic Constraints: The SAT-Based Implementation of APE”. Electronic Communications of the EASST 78 (May 17, 2020). Accessed November 21, 2024. https://eceasst.org/index.php/eceasst/article/view/2242.