Enabling efficient process mining on large data sets: realizing an in-database process mining operator. - Dijkman, Remco; Gao, Juntao; Syamsiyah, Alifah; van Dongen, Boudewijn; Grefen, Paul; ter Hofstede, Arthur (Distributed & Parallel Databases, 2020)