Komatsu, K.; Horita, H. Generating LTL Formulas for Process Mining by Example of Trace. JDSIS 2024. https://doi.org/10.47852/bonviewJDSIS42022166.