A Unification Algorithm for Infinite Trees. - Kuniaki Mukai (IJCAI, 1983)

Complex Indeterminates in Prolog and its Application of Discorse Models. - Kuniaki Mukai; Hideki Yasukawa (New Gener. Comput., 1985)

Research Activities on Natural Language Processing of the FGCS Project. - Toshio Yokoi; Hideo Miyoshi; Kuniaki Mukai; Yuichi Tanaka (FJCC, 1986)

Constraint Analysis on Japanese Modification. - Ryôichi Sugimura; Hideo Miyoshi; Kuniaki Mukai (Natural Language Understanding and Logic Programming Workshop, 1987)

The Research and Development of Natural Language Processing Systems in The Intermediate Stage of the FGCS Project. - Shunichi Uchida; Tsutomu Yoshioka; Ryôichi Sugimura; Yuiti Tanaka; Kôiti Hasida; Kuniaki Mukai (FGCS, 1988)