Essentials of artificial intelligence - Ginsberg, Matthew L., 1955- (Morgan kaufmann, 1993)