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

by Allen Van Gelder
Venue:Information and Computation
Citations:15 - 1 self