DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.MFCS.2021.53,10075,KrCh,A bit of nondeterminism makes pushdown automata expressive and succinct