Qute: A Prolog/Lisp Type Language for Logic Programming. - Masahiko Sato 001; Takafumi Sakurai (IJCAI, 1983)

QUTE: A Functional Language Based on Unification. - Masahiko Sato 001; Takafumi Sakurai (FGCS, 1984)

Foundation of Logic Programming Based on Inductive Definition. - Masami Hagiya; Takafumi Sakurai (New Gener. Comput., 1984)

QUTE: A Functional Language Based on Unification. - Masahiko Sato 001; Takafumi Sakurai (Logic Programming: Functions, Relations, and Equations, 1986)

Categorial Model Construction for Proving Syntactic Properties. - Takafumi Sakurai (Fuji International Symposium on Functional and Logic Programming, 1998)

Explicit Environments. - Masahiko Sato 001; Takafumi Sakurai; Rod M. Burstall (Fundam. Informaticae, 2001)

Categorical Model Construction for Proving Syntactic Properties. - Takafumi Sakurai (Int. J. Found. Comput. Sci., 2001)

A Simply Typed Context Calculus with First-class Environments. - Masahiko Sato 001; Takafumi Sakurai; Yukiyoshi Kameyama (J. Funct. Log. Program., 2002)

Calculi of meta-variables. - Masahiko Sato 001; Takafumi Sakurai; Yukiyoshi Kameyama; Atsushi Igarashi (Frontiers Comput. Sci. China, 2008)

Virtual Social Experiment of Tram Railway Extension Using Multi-Agent-Based Traffic Simulator. - Hideki Fujii; Takafumi Sakurai; Shinobu Yoshimura (J. Adv. Comput. Intell. Intell. Informatics, 2011)

A Translation of Intersection and Union Types for the λμ-Calculus. - Kentaro Kikuchi; Takafumi Sakurai (APLAS, 2014)