The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata. - Yulia Dubov; Michael Kaminski (Languages: From Formal to Natural, 2009)