Congruences for visibly pushdown languages (2005)

by R Alur, V Kumar, P Madhusudan, M Viswanathan
Venue:In International Colloquium on Automata, Languages and Programming (ICALP), LNCS 3580