Introduction to artificial intelligence - Ertel, Wolfgang (Under graduate topics in computer science, 2011)