Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Reynolds, A., Blanchette, J. C., Cruanes, S., & Tinelli, C. (2016). Model Finding for Recursive Functions in SMT. In N. Olivetti, & A. Tiwari (Eds.), Automated Reasoning (pp. 133-151). Berlin: Springer. doi:10.1007/978-3-319-40229-1_10.