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