KOMATSU, K.; HORITA, H. Generating LTL Formulas for Process Mining by Example of Trace. Journal of Data Science and Intelligent Systems, [S. l.], 2024. DOI: 10.47852/bonviewJDSIS42022166. Disponível em: https://ojs.bonviewpress.com/index.php/jdsis/article/view/2166. Acesso em: 19 may. 2024.