The foundations of artificial intelligence - Partridge, D. (Derek), 1945-; Wilks, Yorick, 1939- (Cambridge University Press, 1990)