Michael Karr Summation in Finite Terms. 305-350 1981 28 J. ACM 2 http://doi.acm.org/10.1145/322248.322255 db/journals/jacm/jacm28.html#Karr81