Д. Павлов, “Символьное интегрирование”, CTE, no. 2, Jan. 2014.