"A new algorithm for integral of trigonometric functions with mechanization."

Weiming Wang, Changsheng Lin (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics