@article{Brotherston_2010,
    doi = {10.1093/logcom/exq052},
    url = {https://doi.org/10.1093%2Flogcom%2Fexq052},
    year = {2010},
    month = {sep},
    publisher = {Oxford University Press ({OUP})},
    volume = {21},
    number = {6},
    pages = {1177--1216},
    author = {J. Brotherston and A. Simpson},
    title = {Sequent calculi for induction and infinite descent},
    journal = {Journal of Logic and Computation}
}

@article{Brotherston_2010, doi = {10.1093/logcom/exq052}, url = {https://doi.org/10.1093%2Flogcom%2Fexq052}, year = {2010}, month = {sep}, publisher = {Oxford University Press ({OUP})}, volume = {21}, number = {6}, pages = {1177--1216}, author = {J. Brotherston and A. Simpson}, title = {Sequent calculi for induction and infinite descent}, journal = {Journal of Logic and Computation} }