an efficient propositional prover (1997)

by SATO
Venue:In Proc. of the 14th Int. Conf. on Automated Deduction (CADE’97), Lecture Notes in Computer Science