Analyzing pushdown systems with stack manipulation Article in Information and Computation (April 2018)