Journal of the ACM Bibliography Journal of the ACM Bibliography Esko Ukkonen . Selected references S. A. Greibach.
Linearity is polynomially decidable for realtime pushdown store automatia.
A. J. Korenjak and J. E. Hopcroft. Simple deterministic languages. Michio Oyamaguchi and Namio Honda. The decidability of equivalence for determistic stateless pushdown automata. D. J. Rosenkrantz and R. E. Stearns.