What is a Variable in Prolog? - Hideyuki Nakashima; Satoru Tomura; Kazunori Ueda (FGCS, 1984)

TDProlog: An Extended Prolog with Term Description. - Satoru Tomura (LP, 1985)

Algebraic Specification of Macintosh's Quickdraw Using OBJ2. - Ataru T. Nakagawa; Kokichi Futatsugi; Satoru Tomura; T. Shimizu (ICSE, 1988)

TERM: a parallel executable graph reduction machine for equational language. - Kazuhito Ohmaki; Satoru Tomura; Katsuro Inoue; Toshio Ito; Keiichi Ito; Koji Torii (Parallel Comput., 1989)