@Article{         Heizmann:2017aa,
  Author        = "Heizmann, Matthias and Schilling, Christian and Tischner, Daniel",
  Abstract      = "We consider the problem of state-space reduction for nondeterministic weakly-hierarchical visibly pushdown automata (VPA). VPA recognize a robust and algorithmically tractable fragment of context-free languages that is natural for modeling programs.",
  date-added    = "2017-04-06 08:56:06 +0000",
  date-modified = "2017-04-06 08:56:11 +0000",
  EPrint        = "1701.05160",
  Keywords      = "citesme!",
  Month         = "01",
  Title         = "Minimization of Visibly Pushdown Automata Using Partial Max-SAT",
  URL           = "https://arxiv.org/abs/1701.05160",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1701.05160",
  File          = "1701.051600 (0) - a - a - q.pdf"
}

@Article{ Heizmann:2017aa, Author = "Heizmann, Matthias and Schilling, Christian and Tischner, Daniel", Abstract = "We consider the problem of state-space reduction for nondeterministic weakly-hierarchical visibly pushdown automata (VPA). VPA recognize a robust and algorithmically tractable fragment of context-free languages that is natural for modeling programs.", date-added = "2017-04-06 08:56:06 +0000", date-modified = "2017-04-06 08:56:11 +0000", EPrint = "1701.05160", Keywords = "citesme!", Month = "01", Title = "Minimization of Visibly Pushdown Automata Using Partial Max-SAT", URL = "https://arxiv.org/abs/1701.05160", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1701.05160", File = "1701.051600 (0) - a - a - q.pdf" }