“A Framework for Cooperating Decision Procedures” by Clark W. Barrett, David L. Dill, and Aaron Stump. In Proceedings of the 17^th International Conference on Computer-Aided Deduction (CADE '00), (David McAllester, ed.), June 2000, pp. 79-97. Pittsburgh, Pennsylvania.
BibTeX entry:
@inproceedings{BDS00, author = {Clark W. Barrett and David L. Dill and Aaron Stump}, editor = {David McAllester}, title = {A Framework for Cooperating Decision Procedures}, booktitle = {Proceedings of the {\it 17^{th}} International Conference on Computer-Aided Deduction (CADE '00)}, series = {Lecture Notes in Artificial Intelligence}, volume = {1831}, pages = {79--97}, publisher = {Springer-Verlag}, month = jun, year = {2000}, note = {Pittsburgh, Pennsylvania}, url = {http://theory.stanford.edu/~barrett/pubs/BDS00.pdf} }
(This webpage was created with bibtex2web.)