Calculus of Variations on Time Scales with Nabla Derivatives
  We prove a necessary optimality condition of Euler-Lagrange type for variational problems on time scales involving nabla derivatives of higher-order. The proof is done using a new and more general fundamental lemma of the calculus of variations on time scales. 
Natalia Martins, Delfim F. M. Torres