@misc{indiciae49c984b86e57,
  title = {Deciding first order logic properties of matroids},
  author = {Tomas Gavenciak and Daniel Kral and Sang-il Oum},
  year = {2011},
  url = {https://arxiv.org/abs/1108.5457},
  note = {Source identifier: 1108.5457}
}