@inproceedings{ReyTD-FMCAD-14,
 author = {Reynolds, Andrew and Tinelli, Cesare and de Moura, Leonardo},
 title = {Finding Conflicting Instances of Quantified Formulas in {SMT}},
 booktitle = {Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design},
 series = {FMCAD '14},
 year = {2014},
 isbn = {978-0-9835678-4-4},
 location = {Lausanne, Switzerland},
 pages = {31:195--31:202},
 publisher = {IEEE},
}