Visibly Pushdown Automata: Universality and Inclusion via Antichains.

Vronique Bruyre, Marc Ducobu, Olivier Gauwin

Browse the full LATA paper archive.