Komatsu K, Horita H. Generating LTL Formulas for Process Mining by Example of Trace. JDSIS [Internet]. 2025 Oct. 30 [cited 2026 Mar. 3];3(4):304-11. Available from: https://ojs.bonviewpress.com/index.php/jdsis/article/view/2166