Li Zhang 2005
In Proceedings of 32nd International Colloquium on Automata, Languages and Programming