@inproceedings{Bonnet_2020,
    doi = {10.1109/focs46700.2020.00062},
    url = {https://doi.org/10.1109%2Ffocs46700.2020.00062},
    year = {2020},
    month = {nov},
    publisher = {{IEEE}},
    author = {Edouard Bonnet and Eun Jung Kim and Stephan Thomasse and Remi Watrigant},
    title = {Twin-width I: tractable {FO} model checking},
    booktitle = {2020 {IEEE} 61st Annual Symposium on Foundations of Computer Science ({FOCS})}
}

@inproceedings{Bonnet_2020, doi = {10.1109/focs46700.2020.00062}, url = {https://doi.org/10.1109%2Ffocs46700.2020.00062}, year = {2020}, month = {nov}, publisher = {{IEEE}}, author = {Edouard Bonnet and Eun Jung Kim and Stephan Thomasse and Remi Watrigant}, title = {Twin-width I: tractable {FO} model checking}, booktitle = {2020 {IEEE} 61st Annual Symposium on Foundations of Computer Science ({FOCS})} }