@techreport{kam1011,
 author = {T. Gaven{\v c}iak, D. Kr{\'a}l', and S. Oum},
 title = {Deciding First Order Logic Properties of Matroids},
 institution = {KAM-DIMATIA Series},
 year = {2011},
 number = {1011},
 type = {prepublication}
}