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