Two-variable logic on data words. (2011)

by M Bojanczyk, C David, A Muscholl, T Schwentick, L Segoufin
Venue:ACM Transactions on Computational Logic,