A V log V algorithm for isomorphism of triconnected planar graphs - Hopcroft, J.E.; Tarjan, R.E. (Journal of computer and system sciences, 1973)