@inproceedings{LiaEtAl-CAV-14,
	Author = {Tianyi Liang and Andrew Reynolds and Cesare Tinelli and Clark Barrett and Morgan Deters},
	Booktitle = {Proceedings of the 26th International Conference on Computer Aided Verification},
	Editor = {Armin Biere and Roderick Bloem},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {A {DPLL(T)} Theory Solver for a Theory of Strings and Regular Expressions},
	Volume = {8559},
	Year = {2014}}