Unary pushdown automata and straightline programs. (2014)

by D Chistikov, R Majumdar
Venue:In Proceedings of ICALP,