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