A satisfiability tester for non-clausal propositional calculus (1988)

by A Van Gelder
Venue:Information and Computation