A Generalization of Shostak's Method for Combining Decision Procedures

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.)