Hasan, M. and Rahman, F. 2021. A Distributed Pattern Matching Algorithm for Event Logs Using Automata Decomposition and Partial Evaluation. International Review of Artificial Intelligence, Machine Learning, and Automated Decision Systems. 11, 5 (May 2021).