Chris Freiling: How to compute antiderivatives. Bull. Symb. Log. 1(3): 279-316 (1995)