@article{GS25,
  author = {Gezer, M. Utkan and Say, A. C. Cem},
  title = {{P} has polynomial-time finite-state verifiers},
  journal = {Discrete Mathematics \& Theoretical Computer Science},
  year = {2025},
  volume = {27:3},
  pages = {1--32},
  month = {dec},
  doi = {10.46298/dmtcs.13854},
  eid = {15},
  issuetitle = {Automata, Logic and Semantics},
  url = {https://dmtcs.episciences.org/16655},
  numpages = {32},
}