Pierre Ganty Rupak Majumdar Benjamin Monmege Parikh-Equivalent Bounded Underapproximations http://arxiv.org/abs/0809.1236 2008 CoRR abs/0809.1236 db/journals/corr/corr0809.html#abs-0809-1236 informal publication