@inproceedings{Brotherston_2007,
    doi = {10.1109/lics.2007.16},
    url = {https://doi.org/10.1109%2Flics.2007.16},
    year = {2007},
    publisher = {{IEEE}},
    author = {James Brotherston and Alex Simpson},
    title = {Complete Sequent Calculi for Induction and Infinite Descent},
    booktitle = {22nd Annual {IEEE} Symposium on Logic in Computer Science ({LICS} 2007)}
}

@inproceedings{Brotherston_2007, doi = {10.1109/lics.2007.16}, url = {https://doi.org/10.1109%2Flics.2007.16}, year = {2007}, publisher = {{IEEE}}, author = {James Brotherston and Alex Simpson}, title = {Complete Sequent Calculi for Induction and Infinite Descent}, booktitle = {22nd Annual {IEEE} Symposium on Logic in Computer Science ({LICS} 2007)} }