A. Dawar and K. Khan, “Constructing Hard Examples for Graph Isomorphism”, JGAA, vol. 23, no. 2, pp. 293–316, Jan. 2019.