Komatsu, K.; Horita, H. Generating LTL Formulas for Process Mining by Example of Trace. JDSIS 2024.