Janusz A. Brzozowski Jeffrey Shallit Zhi Xu Decision Problems For Convex Languages http://arxiv.org/abs/0808.1928 2008 CoRR abs/0808.1928 db/journals/corr/corr0808.html#abs-0808-1928 informal publication