@misc{indiciaedc3c67ed63ac,
  title = {Minimization of visibly pushdown automata is NP-complete},
  author = {Olivier Gauwin and Anca Muscholl and Michael Raskin},
  year = {2020},
  doi = {10.23638/lmcs-16(1:14)2020},
  url = {https://arxiv.org/abs/1907.09563},
  note = {Source identifier: 1907.09563}
}