Clark W. Barrett David L. Dill Aaron Stump A Framework for Cooperating Decision Procedures. 79-98 2000 conf/cade/2000 CADE db/conf/cade/cade2000.html#BarrettDS00 http://dx.doi.org/10.1007/10721959_6