@article{1183737496,
author = {Garfunkel, Solomon and Shank, Herbert},
title = {On the Undecidability of Finite Planar Graphs},
journal = {J. Symbolic Logic},
volume = {36},
number = {1},
year = {1971},
pages = { 121-126},
language = {en},
url = {http://dml.mathdoc.fr/item/1183737496}
}
Garfunkel, Solomon; Shank, Herbert. On the Undecidability of Finite Planar Graphs. J. Symbolic Logic, Tome 36 (1971) no. 1, pp. 121-126. http://gdmltest.u-ga.fr/item/1183737496/