Kozsik, Tamás, Melinda Tóth, István Bozó, and Zoltán Horváth. 2017. “Static Analysis for Divide-and-Conquer Pattern Discovery”. COMPUTING AND INFORMATICS 35 (4):764-91. https://www.cai.sk/ojs/index.php/cai/article/view/3377.