@article{lmcs:6099,
    Author = {Gauwin, Olivier and Muscholl, Anca and Raskin, Michael},
    File = {MINIMIZATION OF VISIBLY PUSHDOWN AUTOMATA IS NP-COMPLETE - 1907.09563.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Formal Languages and Automata Theory},
    Month = {February},
    Title = {{Minimization of visibly pushdown automata is NP-complete}},
    URL = {https://lmcs.episciences.org/6099},
    Volume = {{Volume 16, Issue 1}},
    Year = {2020},
    bdsk-url-1 = {https://lmcs.episciences.org/6099},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-16(1:14)2020},
    date-added = {2021-07-27 12:33:55 +0200},
    date-modified = {2021-07-27 12:33:55 +0200},
    doi = {10.23638/LMCS-16(1:14)2020}
}

@article{lmcs:6099, Author = {Gauwin, Olivier and Muscholl, Anca and Raskin, Michael}, File = {MINIMIZATION OF VISIBLY PUSHDOWN AUTOMATA IS NP-COMPLETE - 1907.09563.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Formal Languages and Automata Theory}, Month = {February}, Title = {{Minimization of visibly pushdown automata is NP-complete}}, URL = {https://lmcs.episciences.org/6099}, Volume = {{Volume 16, Issue 1}}, Year = {2020}, bdsk-url-1 = {https://lmcs.episciences.org/6099}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-16(1:14)2020}, date-added = {2021-07-27 12:33:55 +0200}, date-modified = {2021-07-27 12:33:55 +0200}, doi = {10.23638/LMCS-16(1:14)2020} }