Kozsik, T. et al. 2017. Static Analysis for Divide-and-Conquer Pattern Discovery. Computing and Informatics. 35, 4 (Feb. 2017), 764–791.