Regular Expressions for Data Words.

Leonid Libkin, Domagoj Vrgoc

Browse the full LPAR paper archive.