@article{Tiu_2012,
    doi = {10.1016/j.jal.2012.07.007},
    url = {https://doi.org/10.1016%2Fj.jal.2012.07.007},
    year = {2012},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {10},
    number = {4},
    pages = {330--367},
    author = {Alwen Tiu and Alberto Momigliano},
    title = {Cut elimination for a logic with induction and co-induction},
    journal = {Journal of Applied Logic}
}

@article{Tiu_2012, doi = {10.1016/j.jal.2012.07.007}, url = {https://doi.org/10.1016%2Fj.jal.2012.07.007}, year = {2012}, month = {dec}, publisher = {Elsevier {BV}}, volume = {10}, number = {4}, pages = {330--367}, author = {Alwen Tiu and Alberto Momigliano}, title = {Cut elimination for a logic with induction and co-induction}, journal = {Journal of Applied Logic} }