Artificial Intelligence and Symbolic Computation - Jacques Fleuriot, Dongming Wang, Jacques Calmet (Springer, 2018)