Nutan Limaye Meena Mahajan Antoine Meyer On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. 240-251 2008 CSR http://dx.doi.org/10.1007/978-3-540-79709-8_25 conf/csr/2008 db/conf/csr/csr2008.html#LimayeMM08