Introduction to artificial intelligence - Jackson, Philip C. 1949 (Dover Publications, Inc., 2019)