@article{doi:10.1137/0211025,
    Author = {Lichtenstein, D.},
    EPrint = {http://epubs.siam.org/doi/pdf/10.1137/0211025},
    File = {Planar Formulae and Their Uses - Lichtenstein (0) (0) - a - a - u.pdf},
    Journal = {SIAM Journal on Computing},
    Keywords = {planar SAT},
    Number = {2},
    Pages = {329-343},
    Title = {Planar Formulae and Their Uses},
    URL = {http://epubs.siam.org/doi/abs/10.1137/0211025},
    Volume = {11},
    Year = {1982},
    bdsk-url-1 = {http://epubs.siam.org/doi/abs/10.1137/0211025},
    bdsk-url-2 = {http://dx.doi.org/10.1137/0211025},
    date-added = {2014-04-04 05:35:20 +0000},
    date-modified = {2014-07-09 18:00:48 +0000},
    doi = {10.1137/0211025}
}

@article{doi:10.1137/0211025, Author = {Lichtenstein, D.}, EPrint = {http://epubs.siam.org/doi/pdf/10.1137/0211025}, File = {Planar Formulae and Their Uses - Lichtenstein (0) (0) - a - a - u.pdf}, Journal = {SIAM Journal on Computing}, Keywords = {planar SAT}, Number = {2}, Pages = {329-343}, Title = {Planar Formulae and Their Uses}, URL = {http://epubs.siam.org/doi/abs/10.1137/0211025}, Volume = {11}, Year = {1982}, bdsk-url-1 = {http://epubs.siam.org/doi/abs/10.1137/0211025}, bdsk-url-2 = {http://dx.doi.org/10.1137/0211025}, date-added = {2014-04-04 05:35:20 +0000}, date-modified = {2014-07-09 18:00:48 +0000}, doi = {10.1137/0211025} }