A Framework for Cooperating Decision Procedures (2000)

Cached

Download Links

by Clark W. Barrett , David L. Dill , Aaron Stump
Venue:17th International Conference on Computer Aided Deduction, volume 1831 of LNAI
Citations:30 - 8 self