@misc{indiciae334fade50aad, title = {The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently}, author = {Karoliina Lehtinen and Keya Prakash}, year = {2025}, url = {https://arxiv.org/abs/2503.24244}, note = {Source identifier: 2503.24244} }