Expressiveness of WellStructured Pushdown Systems
JIN Yang,CAI Xiaojuan,LI Guoqiang
Journal of Shanghai Jiaotong University . 2015, (08): 1084 -1089 .