@misc{indiciae2fa9cf201e98,
  title = {Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT},
  author = {Cheng Zhang and Qiancheng Fu and Hang Ji and Ines Santacruz Del Valle and Alexandra Silva and Marco Gaboardi},
  year = {2026},
  doi = {10.1007/978-3-032-22723-2\_14},
  url = {https://arxiv.org/abs/2601.09986},
  note = {Source identifier: 2601.09986}
}