Martin Grohe Fixed-Point Logics on Planar Graphs. 6-15 1998 LICS db/conf/lics/lics98.html#Grohe98