K. Komatsu and H. Horita, “Generating LTL Formulas for Process Mining by Example of Trace”, JDSIS, vol. 3, no. 4, pp. 304–311, Feb. 2024, doi: 10.47852/bonviewJDSIS42022166.