Artin–Schreier extensions and Galois module structure

Let k be the power series field over a finite field of characteristic p>0. Let L be a cyclic extension over k of degree p. We give a necessary and sufficient condition for the integer ring OL to be free over the associated order. Moreover, when OL is free, we construct a free basis explicitly