An efficient propositional prover (1997)

by SATO
Venue:In Conference on Automated Deduction