@inproceedings{BDS00,
  author    = "Clark W. Barrett and David L. Dill and Aaron Stump",
  title     = "A Framework for Cooperating Decision Procedures",
  booktitle = "Proceedings of the $17^{th}$ International Conference on Computer-Aided Deduction (CADE '00)",
  series    = "Lecture Notes in Artificial Intelligence",
  volume    = 1831,
  publisher = "Springer-Verlag",
  editor    = "David McAllester",
  pages     = "79--97",
  month     = jun,
  year      = 2000,
  note      = "Pittsburgh, Pennsylvania"
}