Komatsu, Kota, and Hiroki Horita. “Generating LTL Formulas for Process Mining by Example of Trace”. Journal of Data Science and Intelligent Systems, vol. 3, no. 4, Feb. 2024, pp. 304-11, https://doi.org/10.47852/bonviewJDSIS42022166.