KOMATSU, Kota; HORITA, Hiroki. Generating LTL Formulas for Process Mining by Example of Trace. Journal of Data Science and Intelligent Systems, [S. l.], v. 3, n. 4, p. 304–311, 2024. DOI: 10.47852/bonviewJDSIS42022166. Disponível em: https://ojs.bonviewpress.com/index.php/jdsis/article/view/2166. Acesso em: 16 nov. 2025.