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