Chain-Free String Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Luks Holk, Petr Janku

Browse the full ATVA paper archive.