Scope-bounded pushdown languages (2014)

by S La Torre, M Napoli, G Parlato
Venue:In DLT’14, volume 8633 of LNCS