@inproceedings{MenEtAl-CADE-17,
	Author = {Baoluo Meng and Andrew Reynolds and Cesare Tinelli and Clark Barrett},
	Booktitle = {Proceedings of the 26th International Conference on Automated Deduction},
	Doi = {10.1007/978-3-319-63046-5_10},
	Editor = {Leonardo de Moura},
	Pages = {148--165},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Relational Constraint Solving in {SMT}},
	Volume = 10395,
	Year = 2017,
}