Highly Parallel Inference Engine PIE: Goal Rewriting Model and Machine Architecture. - Goto, Atsuhiro; Tanaka, Hidehiko; Moto-Oka, Tohru (New Gener. Comput., 1984)