Marius van der Put Peter A. Hendriks A Rationality Result for Kovacic's Algorithm. 4-8 1993 ISSAC http://doi.acm.org/10.1145/164081.164083 db/conf/issac/issac93.html#PutH93