Principles of Artificial Intelligence - Nilsson, NJ (Morgan Kaufman, Publishers Inc, 1980)