Solomon Garfunkel Herbert S. Shank On the Undecidability of Finite Planar Graphs. 121-126 1971 36 J. Symb. Log. 1 db/journals/jsyml/jsyml36.html#GarfunkelS71