SATO: An efficient propositional prover," presented at (1997)

by H Zhang
Venue:International Conference on Automated Deduction (CADE