Optional splitting formula in a progressively enlarged filtrationShiqi SongESAIM: PS, 18 (2014) 829-853DOI: https://doi.org/10.1051/ps/2014003
