Д. Павлов, «Символьное интегрирование», CTE, вып. 2, янв. 2014.