OpenAlex
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata
Work