J. Gan and Y. Tao, “An I/O-Efficient Algorithm for Computing Vertex Separators on Multi-Dimensional Grid Graphs and Its Applications”, JGAA, vol. 22, no. 2, pp. 297–327, Jan. 2018.