@InProceedings{KrsGGT-TACAS-07,
  author =	 {Sava Krsti\'{c} and Amit Goel and Jim Grundy and
                  Cesare Tinelli},
  title =	 {Combined Satisfiability Modulo Parametric Theories},
  booktitle =	 {Proceedings of the 13th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (Braga, Portugal)},
  year =	 2007,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  pages =	 {618--631},
  editor =	 {O.~Grumberg and M.~Huth},
  volume =	 4424,
  url =		 {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/KrsGGT-TACAS-07.pdf}},
}