Solving Difference Equations in Finite Terms

We define the notion of a Liouvillian sequence and show that the solution space of a difference equation with rational function coefficients has a basis of Liouvillian sequences iff the Galois group of the equation is solvable. Using this we give a procedure to determine the Liouvillian solutions of such a difference equation.