@misc{indiciaed2a1823b3e9f,
  title = {From Ramsey-Based to Congruence-Based Constructions for Büchi Complementation},
  author = {Yih-Kuen Tsay and Moshe Y. Vardi},
  year = {2026},
  url = {https://arxiv.org/abs/2609.06210},
  note = {Source identifier: 2609.06210}
}