Kozsik, T., Tóth, M., Bozó, I., & Horváth, Z. (2016). Static Analysis for Divide-and-Conquer Pattern Discovery. Computing and Informatics, 35(4), 764–791. https://cai.type.sk/content/2016/4/static-analysis-for-divide-and-conquer-pattern-discovery/