@techreport{kam953,
 author = {Z. Dvo\v r\'ak, D. Kr\'al', and R. Thomas},
 title = {Deciding first-order properties for sparse graphs},
 institution = {KAM-DIMATIA Series},
 year = {2009},
 number = {953},
 type = {prepublication}
}