Komatsu, K., and H. Horita. “Generating LTL Formulas for Process Mining by Example of Trace”. Journal of Data Science and Intelligent Systems, Feb. 2024, doi:10.47852/bonviewJDSIS42022166.