@misc{indiciae77689d7c3840,
  title = {Order-Invariant Types and Their Applications},
  author = {Pablo Barcelo and Leonid Libkin},
  year = {2016},
  doi = {10.2168/lmcs-12(1:9)2016},
  url = {https://arxiv.org/abs/1603.04309},
  note = {Source identifier: 1603.04309}
}