Artificial Intelligence and Symbolic Computation - Fleuriot, Jacques (Springer International Publishing, 2020)