Regulated Nondeterminism in PDAs: The Non-Regular Case.

Tomás Masopust Regulated Nondeterminism in PDAs: The Non-Regular Case. 181-194 2009 NCMA conf/ncma/2009 db/conf/ncma/ncma2009.html#Masopust09