@misc{indiciaeae1f7e09fc97,
  title = {Hardness of monadic second-order formulae over succinct graphs},
  author = {Guilhem Gamard and Aliénor Goubault-Larrecq and Pierre Guillon and Pierre Ohlmann and Kévin Perrot and Guillaume Theyssier},
  year = {2026},
  doi = {10.46298/lmcs-22(1:3)2026},
  url = {https://arxiv.org/abs/2302.04522},
  note = {Source identifier: 2302.04522}
}