Komatsu K, Horita H. Generating LTL Formulas for Process Mining by Example of Trace. JDSIS [Internet]. 2024 Feb. 4 [cited 2025 Apr. 3];. Available from: https://ojs.bonviewpress.com/index.php/jdsis/article/view/2166