Title: Evaluation of definite integrals by symbolic manipulation
First published: 1971