Simple linear string constraints. - Xiang Fu 001; Michael C. Powell; Michael Bantegui; Chung-Chih Li (Formal Aspects Comput., 2013)