"Trimming visibly pushdown automata."

Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics