Irreducible antifield analysis of p-form gauge theories

The irreducible antifield formalism for p-form gauge theories with gauge invariant interaction terms is exposed. The ghosts of ghosts do not appear. The acyclicity of the Koszul-Tate operator is ensured without introducing antifields at resolution degrees higher that two.