The Risch algorithm is an algorithm for indefinite integration (finding antiderivatives). Part of its background theory is based on Liouville's principle from the 19th century.

The original paper was:

Risch,R.H.
The Problem of Integration in Finite Terms.
Trans. A.M.S. 139(1969) pp. 167-189.