Hasan, M.; Rahman, F. A Distributed Pattern Matching Algorithm for Event Logs Using Automata Decomposition and Partial Evaluation. IRAIMLADS 2021, 11 (5).