"Minimization of Visibly Pushdown Automata Using Partial Max-SAT."

Matthias Heizmann, Christian Schilling, Daniel Tischner (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics