An Algorithmic Characterization of Polynomial Functions over Z_{p^n}