A Recursive Algorithm for Computing Inferences in Imprecise Markov Chains