Artificial Intelligence And Symbolic Computation by B. Buchberger & A.L. Galkin