The word problem for visibly pushdown languages described by grammars

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]

Abstract

Abstract is missing.