@inproceedings{Dvorak_2010,
    doi = {10.1109/focs.2010.20},
    url = {https://doi.org/10.1109%2Ffocs.2010.20},
    year = {2010},
    month = {oct},
    publisher = {{IEEE}},
    author = {Zdenek Dvorak and Daniel Kral and Robin Thomas},
    title = {Deciding First-Order Properties for Sparse Graphs},
    booktitle = {2010 {IEEE} 51st Annual Symposium on Foundations of Computer Science}
}

@inproceedings{Dvorak_2010, doi = {10.1109/focs.2010.20}, url = {https://doi.org/10.1109%2Ffocs.2010.20}, year = {2010}, month = {oct}, publisher = {{IEEE}}, author = {Zdenek Dvorak and Daniel Kral and Robin Thomas}, title = {Deciding First-Order Properties for Sparse Graphs}, booktitle = {2010 {IEEE} 51st Annual Symposium on Foundations of Computer Science} }