Artificial Intelligence - Patrick Henry Winston (Addison-Wesley, 1993)