Revisiting Enumerative Instantiation.

Andrew Reynolds, Haniel Barbosa, Pascal Fontaine

Browse the full TACAS paper archive.