@article{Dyckhoff_2011,
    doi = {10.1007/s00153-011-0254-7},
    url = {https://doi.org/10.1007%2Fs00153-011-0254-7},
    year = {2011},
    month = {nov},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {51},
    number = {1-2},
    pages = {71--92},
    author = {Roy Dyckhoff and Sara Negri},
    title = {Proof analysis in intermediate logics},
    journal = {Archive for Mathematical Logic}
}

@article{Dyckhoff_2011, doi = {10.1007/s00153-011-0254-7}, url = {https://doi.org/10.1007%2Fs00153-011-0254-7}, year = {2011}, month = {nov}, publisher = {Springer Science and Business Media {LLC}}, volume = {51}, number = {1-2}, pages = {71--92}, author = {Roy Dyckhoff and Sara Negri}, title = {Proof analysis in intermediate logics}, journal = {Archive for Mathematical Logic} }