Kozsik, Tamás, et al. “Static Analysis for Divide-and-Conquer Pattern Discovery”. Computing and Informatics, vol. 35, no. 4, Feb. 2017, pp. 764-91, http://147.213.75.17/ojs/index.php/cai/article/view/3377.