Artificial Intelligence, Automated Reasoning And Symbolic Computation door Springer-Verlag & J. Calmet