Two-variable logic on words with data. In (2006)

by M Bojanczyk, A Muscholl, T Schwentick, L Segoufin, C David
Venue:LICS’06,