Pushdown Systems with Stack Manipulation.

Yuya Uezato, Yasuhiko Minamide

Browse the full ATVA paper archive.