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