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