León Bohn, Yong Li, Christof Löding, and Sven Schewe.

Proceedings of the 52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2025), pp. 146:1-19, 2025.