@article{KoutschanMoll11,
 author = {Christoph Koutschan and Victor H. Moll},
 title = {{T}he integrals in {G}radshteyn and {R}yzhik. {P}art 18: some automatic proofs},
 journal = {SCIENTIA Series~A: Mathematical Sciences},
 address = {Universidad T\'ecnica Federico Santa Mar{\'\i}a, Valpara{\'\i}so, Chile},
 isbn_issn = {ISSN 0716-8446},
 year = {2011},
 volume = {20},
 pages = {93--111},
}