@InProceedings{ReyEtAl-IJCAR-16,
  author = {Reynolds, Andrew and Blanchette, Jasmin Christian and Cruanes, Simon and Tinelli, Cesare},
  editor = {Olivetti, Nicola and Tiwari, Ashish},
  title = {Model Finding for Recursive Functions in {SMT}},
  bookTitle = {Proceedings of the 8th International Joint Conference on Automated Reasoning, Coimbra, Portugal},
  year = 2016,
  publisher = {Springer International Publishing},
  pages = {133--151},
  series = {Lecture Notes in Computer Science},
  volume =  9706,
  doi = {10.1007/978-3-319-40229-1_10}
}