Planar formulae and their uses (1982)

by D Lichtenstein
Venue:SIAM Journal on Computing