Kukluk, J.; Holder, L.; Cook, D. Algorithm and Experiments in Testing Planar Graphs for Isomorphism. JGAA 2004, 8, 313-356.