@article{DI_COSMO_2003,
    doi = {10.1017/s0960129502003791},
    url = {https://doi.org/10.1017%2Fs0960129502003791},
    year = {2003},
    month = {may},
    publisher = {Cambridge University Press ({CUP})},
    volume = {13},
    number = {3},
    pages = {409--450},
    author = {ROBERTO DI COSMO and DELIA KESNER and EMMANUEL POLONOVSKI},
    title = {Proof nets and explicit substitutions},
    journal = {Mathematical Structures in Computer Science}
}

@article{DI_COSMO_2003, doi = {10.1017/s0960129502003791}, url = {https://doi.org/10.1017%2Fs0960129502003791}, year = {2003}, month = {may}, publisher = {Cambridge University Press ({CUP})}, volume = {13}, number = {3}, pages = {409--450}, author = {ROBERTO DI COSMO and DELIA KESNER and EMMANUEL POLONOVSKI}, title = {Proof nets and explicit substitutions}, journal = {Mathematical Structures in Computer Science} }