C. Ieva, A. Gotlieb, S. Kaci, and N. Lazaar, “Discovering Program Topoi Through Clustering”, AAAI, vol. 32, no. 1, Apr. 2018.