J. Kukluk, L. Holder, and D. Cook, “Algorithm and Experiments in Testing Planar Graphs for Isomorphism”, JGAA, vol. 8, no. 3, pp. 313–356, Jan. 2004.