Logics in Artificial Intelligence - Hölldobler, Steffen (H: Springer, 2017)
439 p.