ByNobleID
    Completeness of MLL proof-nets w.r.t. weak distributivity | NobleID