The Effective Action for Superfield Lagrangian Quantization in Reducible   Hypergauges
  The rules of local superfield Lagrangian quantization in reducible non-Abelian hypergauge functions are formulated for an arbitrary gauge theory. The generating functionals of standard and vertex Green's functions which depend on the Grassmann variable $\eta$ via super(anti)fields and sources are constructed. The difference between the local quantum and the gauge fixing actions determines an almost Hamiltonian system such that translations with respect to $\eta$ along the solutions of this system define the superfield BRST transformations. The Ward identities are derived and the gauge independence of the S-matrix is proved. 
Alexander A. Reshetnyak (Tomsk State Pedagogical University)