TY  - RPRT
TI  - Temporal Logics on Words with Multiple Data Values
AU  - Ahmet Kara
AU  - Thomas Schwentick
AU  - Thomas Zeume
PY  - 2010
UR  - https://arxiv.org/abs/1010.1139
ID  - 1010.1139
ER  -