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 December 5, 2025. https://eceasst.org/index.php/eceasst/article/view/2242.