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. http://147.213.75.17/ojs/index.php/cai/article/view/3377.