Komatsu K, Horita H. Generating LTL Formulas for Process Mining by Example of Trace. JDSIS. 2024;3(4):304-311. doi:10.47852/bonviewJDSIS42022166