Distributing backward-chaining deductions to multiple processors - Singh, Vineet (1988)
Zugl.: Stanford, Calif., Univ., Diss.