Parallel inference system researches in the FGCS Project - Chikayama, Takashi (1987)