Deciding first order logic properties of matroids - Gavenčiak, Tomáš (ITI Series, 2011)