Techniques of artificial intelligence - Shapiro, Stuart C. (D. Van Nostrand, 1979)