Planar Formulae and Their Uses (1982)

by D Lichtenstein
Venue:SIAM Journal on Computing