Prakash V. Ramanan Pushdown Permuter Characterization Theorem. 167-169 1984 13 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp13.html#Ramanan84