Introduction to artificial intelligence - Ertel, Wolfgang (Springer Berlin Heidelberg, 2017)