Positivity of second order linear recurrent sequences

We give a decision method for the Positivity Problem for second order recurrent sequences: it is decidable whether or not a recurrent sequence defined by un=aun-1+bun-2un=aun-1+bun-2 has only nonnegative terms.