Generalized Snell envelope as a minimal solution of BSDE with lower barriers

The aim of this paper is to characterize the Snell envelope of a given P-measurable process l:=(lt)0⩽t⩽T as the minimal solution of some backward stochastic differential equation with lower general reflecting barriers and to prove that this minimal solution exists.