@InProceedings{Fur10-ATVA10, author = {Carlo A. Furia}, title = {What's Decidable About Sequences?}, booktitle = {Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10)}, pages = {128--142}, year = {2010}, editor = {Ahmed Bouajjani and Wei-Ngan Chin}, volume = {6252}, series = {Lecture Notes in Computer Science}, month = {September}, publisher = {Springer}, urltopdf = {/people/furia/pubs/atva10.pdf} }