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