Christoph Koutschan, & Victor H. Moll. (2010). The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. Scientia Series A: Mathematical Sciences, 20, 93-111. https://doi.org/10.71712/