Kameas, A., P. Fitsilis, and G. Pavlides,  "Algorithms for inference control",  Microprocessing and Microprogramming, vol. 32, issue 1-5: North-Holland, pp. 755-764, August, 1991.