Komatsu, K., & Horita, H. (2024). Generating LTL Formulas for Process Mining by Example of Trace. Journal of Data Science and Intelligent Systems. https://doi.org/10.47852/bonviewJDSIS42022166