Oleg Verbitsky: Planar Graphs: Logical Complexity and Parallel Isomorphism Tests. STACS 2007: 682-693