Komatsu, Kota, and Hiroki Horita. “Generating LTL Formulas for Process Mining by Example of Trace”. Journal of Data Science and Intelligent Systems (February 4, 2024). Accessed May 19, 2024. https://ojs.bonviewpress.com/index.php/jdsis/article/view/2166.