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