@article{Roversi_2014,
    doi = {10.1093/logcom/exu033},
    url = {https://doi.org/10.1093%2Flogcom%2Fexu033},
    year = {2014},
    month = {jun},
    publisher = {Oxford University Press ({OUP})},
    volume = {26},
    number = {2},
    pages = {677--698},
    author = {Luca Roversi},
    title = {A deep inference system with a self-dual binder which is complete for linear lambda calculus},
    journal = {Journal of Logic and Computation}
}

@article{Roversi_2014, doi = {10.1093/logcom/exu033}, url = {https://doi.org/10.1093%2Flogcom%2Fexu033}, year = {2014}, month = {jun}, publisher = {Oxford University Press ({OUP})}, volume = {26}, number = {2}, pages = {677--698}, author = {Luca Roversi}, title = {A deep inference system with a self-dual binder which is complete for linear lambda calculus}, journal = {Journal of Logic and Computation} }