@misc{indiciaec08eec6ea6c2, title = {A lower bound on the state complexity of transforming two-way nondeterministic finite automata to unambiguous finite automata}, author = {Semyon Petrov and Alexander Okhotin}, year = {2024}, url = {https://arxiv.org/abs/2412.06283}, note = {Source identifier: 2412.06283} }