@inproceedings{BDL96,
  author    = "Clark W. Barrett and David L. Dill and Jeremy R. Levitt",
  title     = "Validity Checking for Combinations of Theories with Equality",
  booktitle = "Proceedings of the $1^{st}$ International Conference on Formal Methods In Computer-Aided Design (FMCAD '96)",
  series    = "Lecture Notes in Computer Science",
  volume    = 1166,
  publisher = "Springer-Verlag",
  editor    = "Mandayam Srivas and Albert Camilleri",
  pages     = "187--201",
  month     = nov,
  year      = 1996,
  note      = "Palo Alto, California"
}