Antichain-Based QBF Solving. - Thomas Brihaye; Véronique Bruyère; Laurent Doyen 001; Marc Ducobu; Jean-François Raskin (ATVA, 2011)

Visibly pushdown automata on trees: universality and u-universality - Véronique Bruyère; Marc Ducobu; Olivier Gauwin (CoRR, 2012)

Visibly Pushdown Automata: Universality and Inclusion via Antichains. - Véronique Bruyère; Marc Ducobu; Olivier Gauwin (LATA, 2013)

Right-Universality of Visibly Pushdown Automata. - Véronique Bruyère; Marc Ducobu; Olivier Gauwin (RV, 2013)