Principles of artificial intelligence - Nilsson, Nils J. 1933- (Springer-Verlag, 1982)