Salvatore La Torre Margherita Napoli Mimmo Parente The word problem for visibly pushdown languages described by grammars. 265-279 2007 31 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-007-0040-7 db/journals/fmsd/fmsd31.html#TorreNP07