Termination and Boundedness for Well-Structured Pushdown Systems. - Suhua Lei; Xiaojuan Cai; Mizuhito Ogawa (TASE, 2016)