Keith O. Geddes Ha Q. Le Ziming Li Differential rational normal forms and a reduction algorithm for hyperexponential func. 183-190 2004 conf/issac/2004 ISSAC http://doi.acm.org/10.1145/1005285.1005313 db/conf/issac/issac2004.html#GeddesLL04