Segmenting A Sentence Into Morpiiemes Using Statistic Information Between Words. - Shiho Nobesawa; Junya Tsutsumi; Tomoaki Nitta; Kotaro Ono; Sun Da Jiang; Masakazu Nakanishi (COLING, 1994)

Geometric Theorem Proving by Integrated Logical and Algebraic Reasoning. - Takashi Matsuyama; Tomoaki Nitta (Artif. Intell., 1995)