"String solving with word equations and transducers: towards a logic for ..."

Anthony Widjaja Lin, Pablo Barceló (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics