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 February 15, 2026. https://eceasst.org/index.php/eceasst/article/view/2242.