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