@article{RISC220,
author = {R. Lyons and P. Paule and A. Riese},
title = {{A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers}},
language = {english},
journal = {Appl. Algebra Engrg. Comm. Comput.},
volume = {13},
pages = {327--333},
isbn_issn = {ISSN 0938-1279},
year = {2002},
refereed = {yes},
length = {7}
}