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