Sato: A decision procedure for propositional logic. Association of Automated Reasoning Newsletters, 22:1--3 (1993)

by H Zhang
Venue:Bockmayr Finite Domain and Cutting Plane Techniques in CLP(PB) MPI-I-94-257 S. Vorobyov Structural Decidable Extensions of Bounded Quantification MPI-I-94-254 Report and abstract not published MPI-I-94-252 P. Madden A Survey of Program Transformation With