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