Sato: A decision procedure for propositional logic. Association for Automated Reasoning Newsletter (1993)

by Hantao Zhang