"Flatten and conquer: a framework for efficient analysis of string constraints."

Parosh Aziz Abdulla et al. (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics