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