Changwook Kim
Univ. of Oklahoma, Norman
Quasi-rocking real-time pushdown automata
Theoretical Computer Science