Kenichi Taniguchi Tadao Kasami A Result on the Equivalence Problem for Deterministic Pushdown Automata. 38-50 1976 13 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss13.html#TaniguchiK76