Zephyr: Toward true compiler-based programming in Prolog. - Yasuo Asakawa; Hideaki Komatsu; Hiroaki Etoh; Toshiyuki Hama; Keiichi Maruyama (IBM J. Res. Dev., 1992)

Knowledge-level analysis for eliciting composable scheduling knowledge. - Masahiro Hori; Yuichi Nakamura 003; Hirayuki Satoh; Keiichi Maruyama; Toshiyuki Kama; Seigo Honda; Takashi Takenaka; Fumimaro Sekine (Artif. Intell. Eng., 1995)