Knowledge-based parallel inference system - Kitakami, Hajime; Yokota, Haruo (1991)