2023-11-062023-11-06https://hdl.handle.net/11420/4409139th International Colloquium on Automata, Languages and Programming, ICALP 2012Workshop10.15480/882.976810.15480/882.9768