Introduction to artificial intelligence - Jackson, Philip C. (Dover science books, 1985)