Sato: A decision procedure for propositional logic (1993)

by Hantao Zhang
Venue:Association of Automated Resasoning Newsletters