An optimal parallel algorithm for graph planarity | IEEE Conference Publication | IEEE Xplore