Martingale representation property in progressively enlarged filtrations

Consider G the progressive enlargement of a filtration F with a random time τ. Assuming that, in F, the martingale representation property holds, we examine conditions under which the martingale representation property holds also in G. A general methodology is developed in this paper, with results covering every known (classical or recent) examples.