TY  - RPRT
TI  - What's Decidable About Sequences?
AU  - Carlo A. Furia
PY  - 2011
DO  - 10.1007/978-3-642-15643-4_11
UR  - https://arxiv.org/abs/1001.2100
ID  - 1001.2100
ER  -