TY - RPRT TI - Planar Graphs: Logical Complexity and Parallel Isomorphism Tests AU - Oleg Verbitsky PY - 2006 UR - https://arxiv.org/abs/cs/0607033 ID - cs/0607033 ER -