Komatsu, Kota, and Hiroki Horita. “Generating LTL Formulas for Process Mining by Example of Trace”. Journal of Data Science and Intelligent Systems 3, no. 4 (February 4, 2024): 304–311. Accessed November 16, 2025. https://ojs.bonviewpress.com/index.php/jdsis/article/view/2166.