Enumerating Choice Terms in Model-Based Quantifier Instantiation.

Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette, Cesare Tinelli

Browse the full TACAS paper archive.