An efficient propositional prover (1997)

by SATO
Venue:In CADE-14, LNCS 1249