@article{Mascari_1994,
    doi = {10.1016/0304-3975(94)90263-1},
    url = {https://doi.org/10.1016%2F0304-3975%2894%2990263-1},
    year = {1994},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {135},
    number = {1},
    pages = {111--137},
    author = {G.F. Mascari and M. Pedicini},
    title = {Head linear reduction and pure proof net extraction},
    journal = {Theoretical Computer Science}
}

@article{Mascari_1994, doi = {10.1016/0304-3975(94)90263-1}, url = {https://doi.org/10.1016%2F0304-3975%2894%2990263-1}, year = {1994}, month = {dec}, publisher = {Elsevier {BV}}, volume = {135}, number = {1}, pages = {111--137}, author = {G.F. Mascari and M. Pedicini}, title = {Head linear reduction and pure proof net extraction}, journal = {Theoretical Computer Science} }