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