Salvatore La Torre, Margherita Napoli, Mimmo Parente. The word problem for visibly pushdown languages described by grammars. Formal Methods in System Design, 31(3):265-279, 2007. [doi]
@article{TorreNP07, title = {The word problem for visibly pushdown languages described by grammars}, author = {Salvatore La Torre and Margherita Napoli and Mimmo Parente}, year = {2007}, doi = {10.1007/s10703-007-0040-7}, url = {http://dx.doi.org/10.1007/s10703-007-0040-7}, tags = {grammar}, researchr = {https://researchr.org/publication/TorreNP07}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {31}, number = {3}, pages = {265-279}, }