Highly Parallel Inference Engine PIE: Goal Rewriting Model and Machine Architecture.

Atsuhiro Goto Hidehiko Tanaka Tohru Moto-Oka Highly Parallel Inference Engine PIE: Goal Rewriting Model and Machine Architecture. 37-58 1984 2 New Generation Comput. 1 db/journals/ngc/ngc2.html#GotoTM84