@inproceedings{BDS02-FROCOS02,
  author    = "Clark W. Barrett and David L. Dill and Aaron Stump",
  title     = "A Generalization of {S}hostak's Method for Combining Decision Procedures",
  booktitle = "Proceedings of the $4^{th}$ International Workshop on Frontiers of Combining Systems (FroCoS '02)",
  series    = "Lecture Notes in Artificial Intelligence",
  volume    = 2309,
  publisher = "Springer-Verlag",
  editor    = "Alessandro Armando",
  pages     = "132--146",
  month     = apr,
  year      = 2002,
  note      = "Santa Margherita Ligure, Italy"
}