@inproceedings{ReyEtAl-CAV-13,
  Author =	 {Andrew Reynolds and Cesare Tinelli and Amit Goel and
                  Sava Krsti\'{c}},
  Title =	 {Finite Model Finding in {SMT}},
  Booktitle =	 {Proceedings of the 25th International Conference on
                  Computer Aided Verification (St Petersburg, Russia)},
  Editor =	 {N. Sharygina and H. Veith},
  Publisher =	 {Springer},
  Pages =	 {640--655},
  Series =	 {Lecture Notes in Computer Science},
  Volume =	 8044,
  Year =	 2013,
}