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, https://www.cai.sk/ojs/index.php/cai/article/view/3377.