Enhancing model quality and scalability for mining business processes with invisible tasks in non-free choice. - Kelly Rossa Sungkono; Riyanarto Sarno; Bhakti S. S. Onggo; Muhammad F. Haykal (J. King Saud Univ. Comput. Inf. Sci., 2023)