T. Kozsik, M. Tóth, I. Bozó, and Z. Horváth, “Static Analysis for Divide-and-Conquer Pattern Discovery”, Comput. Inform., vol. 35, no. 4, pp. 764–791, Feb. 2017.