book-chapter · 2006On the Membership Problem for Visibly Pushdown Languages4 citationsDOI: https://doi.org/10.1007/11901914_10