@misc{indiciae8787609f4b29,
  title = {A Tight Meta-theorem for LOCAL Certification of MSO\$\_2\$ Properties within Bounded Treewidth Graphs},
  author = {Linda Cook and Eun Jung Kim and Tomáš Masařík},
  year = {2025},
  doi = {10.1145/3732772.3733562},
  url = {https://arxiv.org/abs/2503.19671},
  note = {Source identifier: 2503.19671}
}