1. Belovari, G., Campbell, J. A.: A Logic Programming Framework for Generating Contours of Symbolic Integration. Dept. Computer Science, University of Exeter, England, 1980.
2. Davenport, J.: Ph.D. thesis, University of Cambridge. Lecture Notes on Computing, Vol. 102. Berlin-Heidelberg-New York: Springer 1981.
3. Harrington, S. J.: A New Symbolic Integration System for Reduce. Computer Journal 22 (1979).
4. Horowitz, E.: Ph.D. thesis, University of Wisconsin, Madison, 1969.
5. Horowitz, E.: Algorithms for Partial Fraction Decomposition and Rational Integration. SYMSAM 1971, 441–457.