Introduction to artificial intelligence and expert systems - Patterson, Dan W.