zhang-2026-outrunning:
  type: chapter
  title: 'Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT'
  author:
  - Zhang, Cheng
  - Fu, Qiancheng
  - Ji, Hang
  - Valle, Ines Santacruz Del
  - Silva, Alexandra
  - Gaboardi, Marco
  date: 2026
  page-range: 392-423
  url: http://dx.doi.org/10.1007/978-3-032-22723-2_14
  serial-number:
    doi: 10.1007/978-3-032-22723-2_14
    isbn: '9783032227232'
    issn: 1611-3349
  parent:
    type: book
    title: Programming Languages and Systems
    publisher: Springer Nature Switzerland