“Validity Checking for Combinations of Theories with Equality” by Clark W. Barrett, David L. Dill, and Jeremy R. Levitt. In Proceedings of the 1^st International Conference on Formal Methods In Computer-Aided Design (FMCAD '96), (Mandayam Srivas and Albert Camilleri, eds.), Nov. 1996, pp. 187-201. Palo Alto, California.
BibTeX entry:
@inproceedings{BDL96, author = {Clark W. Barrett and David L. Dill and Jeremy R. Levitt}, editor = {Mandayam Srivas and Albert Camilleri}, title = {Validity Checking for Combinations of Theories with Equality}, booktitle = {Proceedings of the {\it 1^{st}} International Conference on Formal Methods In Computer-Aided Design (FMCAD '96)}, series = {Lecture Notes in Computer Science}, volume = {1166}, pages = {187--201}, publisher = {Springer-Verlag}, month = nov, year = {1996}, note = {Palo Alto, California}, url = {http://theory.stanford.edu/~barrett/pubs/BDL96.pdf} }
(This webpage was created with bibtex2web.)