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