@conference{BDS00,
author= "Clark W. Barrett and David L. Dill and Aaron Stump",
title="A Framework for Cooperating Decision Procedures",
Note="To Appear in the 17th International Conference on Computer Aided Deduction",
year = 2000
}