Planar formulae and their uses, (1982)

by D Lichtenstein
Venue:SIAM J. Comput.