TY  - RPRT
TI  - Order-Invariant Types and Their Applications
AU  - Pablo Barcelo
AU  - Leonid Libkin
PY  - 2016
DO  - 10.2168/lmcs-12(1:9)2016
UR  - https://arxiv.org/abs/1603.04309
ID  - 1603.04309
ER  -