Planar Graph Isomorphism is in Log-Space | IEEE Conference Publication | IEEE Xplore