Kozsik, T.; Tóth, M.; Bozó, I.; Horváth, Z. Static Analysis for Divide-and-Conquer Pattern Discovery. Comput. Inform. 2017, 35, 764-791.