Artificial Intelligence - Kevin Knight, Changshui Zhang, Geoff Holmes, Min-Ling Zhang (Springer, 2019)