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