A Parallel backward inference engine for production systems (Üretim sistemleri için paralel tersine çıkarım makinası) - Saleh M. Abu-Suod (1992)