A Framework for Cooperating Decision Procedures

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://www.cs.nyu.edu/~barrett/pubs/BDS00.pdf}
}

(This webpage was created with bibtex2web.)