Komatsu K, Horita H. Generating LTL Formulas for Process Mining by Example of Trace. JDSIS. Published online February 4, 2024. doi:10.47852/bonviewJDSIS42022166