Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
Two-Variable Logic on Words with Data
LICS, 2006.
@inproceedings{LICS-2006-BojanczykMSSD,
author = "Mikolaj Bojanczyk and Anca Muscholl and Thomas Schwentick and Luc Segoufin and Claire David",
booktitle = "{Proceedings of the 21th IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2006.51",
isbn = "0-7695-2631-4",
pages = "7--16",
publisher = "{IEEE Computer Society}",
title = "{Two-Variable Logic on Words with Data}",
year = 2006,
}