TY  - RPRT
TI  - Deciding first order logic properties of matroids
AU  - Tomas Gavenciak
AU  - Daniel Kral
AU  - Sang-il Oum
PY  - 2011
UR  - https://arxiv.org/abs/1108.5457
ID  - 1108.5457
ER  -