  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.
