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