Model Finding for Recursive Functions in SMT.

Andrew Reynolds, Jasmin Christian Blanchette, Simon Cruanes, Cesare Tinelli

Browse the full CADE paper archive.