@incollection{LiaEtAl-FROCOS-15,
	Author = {Tianyi Liang and Nestan Tsiskaridze and Andrew Reynolds and Cesare Tinelli and Clark Barrett},
	Booktitle = {Proceedings of the 10th International Symposium on Frontiers of Combining Systems},
	Editor = {Carsten Lutz and Silvio Ranise},
	Pages = {135--150},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings},
	Volume = {9322},
	Year = {2015}}