A Weaker Sufficient Condition for the Equivalence of a Pair of DPDA's to be Decidable. - Etsuji Tomita; Kazushi Seino (Theor. Comput. Sci., 1985)

A Direct Branching Algorithm for Checking the Equivalence of Two Deterministic Pushdown Transducers, one of which is Real-Time Strict. - Etsuji Tomita; Kazushi Seino (Theor. Comput. Sci., 1989)

The Extendes Equivalence Problem for a Class of Non-Real-Time Deterministic Pushdowen Automata. - Etsuji Tomita; Kazushi Seino (Acta Informatica, 1995)

Analysis of required elements for next-generation document reader on the basis of user requirements. - Takashi Miyamoto; Yasuto Ishitani; Kazushi Seino; Toshihiro Nakamura; Yoshihisa Tanabe (ICDAR, 1997)