Two-Variable Logic on Words with Data.

Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David

Browse the full LICS paper archive.