_id,doi,title
10075,10.4230/LIPIcs.MFCS.2021.53,A bit of nondeterminism makes pushdown automata expressive and succinct