Artificial Intelligence and Symbolic Computation - Aranda-Corral; Calmet, Jacques; Martín-Mateos, Francisco J. (Springer International Publishing, 2014)