K. Komatsu and H. Horita, “Generating LTL Formulas for Process Mining by Example of Trace”, JDSIS, Feb. 2024.