@misc{indiciae3070074fda2e,
  title = {Pushdown Model Checking Above the Cubic Bottleneck},
  author = {A. R. Balasubramanian and Dmitry Chistikov and Rupak Majumdar},
  year = {2026},
  url = {https://arxiv.org/abs/2608.24601},
  note = {Source identifier: 2608.24601}
}