@inproceedings{ReyEtAl-CADE-13,
  Author =	 {Andrew Reynolds and Cesare Tinelli and Amit Goel and
                  Sava Krsti\'{c} and Morgan Deters and Clark Barrett.
                  },
  Title =	 {Quantifier Instantiation Techniques for Finite Model
                  Finding in {SMT}},
  Booktitle =	 {Proceedings of the 24th International Conference on
                  Automated Deduction (Lake Placid, NY, USA)},
  Editor =	 {M. P. Bonacina},
  Publisher =	 {Springer},
  Pages =	 {377--391},
  Series =	 {Lecture Notes in Computer Science},
  Volume =	 7898,
  Year =	 2013,
}