“A
Generalization of Shostak's Method for Combining Decision
Procedures”
by Clark W. Barrett, David L. Dill, and Aaron Stump.
In *Proceedings of the 4^th International Workshop on Frontiers
of Combining Systems (FroCoS '02)*, (Alessandro Armando, ed.), Apr.
2002, pp. 132-146. Santa Margherita Ligure, Italy.

**BibTeX entry:**

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

(This webpage was created with bibtex2web.)