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