Fast & Sound: Accelerating Synthesis-Rules-Based Process Discovery. - Tsung-Hao Huang; Enzo Schneider; Marco Pegoraro 001; Wil M. P. van der Aalst (BPMDS/EMMSAD@CAiSE, 2024)