I have seen here the following statement:
Let $R$ be a principal local Artinian ring. Clearly the quotient of a discrete valuation ring is such a ring; conversely it is not difficult to show that every principal local artinian ring is a quotient of a discrete valuation ring.
But there was no proof there. Does anyone know the proof or a reference? (At least for the case of perfect residue field of characteristic $p$ which I am interested in especially.)