On the Separability Problem of String Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna

Browse the full CONCUR paper archive.