Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2004/04/01 Vol. E87-DNo. 4 ;
pp. 959-966 Type of Manuscript: PAPER Category: Automata and Formal Language Theory Keyword: shrinking, alternating, two-pushdown automaton, PSPACE-complete,
