Artificial Intelligence and Symbolic Computation door E. Roanes-Lozano & J.A. Campbell