LPN14-102 A Difference Ring Theory for Symbolic Summation