Minimizing variants of visibly pushdown automata (2007)

by P Chervet, I Walukiewicz
Venue:In Proc. of the 32nd MFCS, Ceský Krumlov