@misc{indiciae1e9d40cd6499,
  title = {Local certification of MSO properties for bounded treedepth graphs},
  author = {Nicolas Bousquet and Laurent Feuilloley and Théo Pierron},
  year = {2021},
  url = {https://arxiv.org/abs/2110.01936},
  note = {Source identifier: 2110.01936}
}