Principles of artificial intelligence - Nilsson Nils J. (Symbolic Computation, 1982)