@inbook{zhang-2026-outrunning, title={Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT}, ISBN={9783032227232}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-032-22723-2_14}, DOI={10.1007/978-3-032-22723-2_14}, booktitle={Programming Languages and Systems}, publisher={Springer Nature Switzerland}, author={Zhang, Cheng and Fu, Qiancheng and Ji, Hang and Valle, Ines Santacruz Del and Silva, Alexandra and Gaboardi, Marco}, year={2026}, pages={392–423} }