The variational bicomplex on graded manifolds and its cohomology
  Lagrangian formalism on graded manifolds is phrased in terms of the Grassmann-graded variational bicomplex, generalizing the familiar variational bicomplex for even Lagrangian systems on fiber bundles. 
G.Sardanashvily