David Lichtenstein Planar Formulae and Their Uses. 329-343 1982 11 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp11.html#Lichtenstein82