The Lagrangian Formulation of Strong-Field QED in a Plasma