Zhe Dang Oscar H. Ibarra Cheng Li Gaoyan Xie On the Decidability of Model-Checking for P Systems. 279-298 2006 11 Journal of Automata, Languages and Combinatorics 3 db/journals/jalc/jalc11.html#DangILX06