On the Satisfiability of Two-Variable Logic over Data Words.

Claire David, Leonid Libkin, Tony Tan

Browse the full LPAR paper archive.