books/bookvolbib add a section on Symbolic Summation

Collect references to papers on symbolic summation using Karr's method