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