Artificial Intelligence and Symbolic Computation | Publicación