@misc{indiciae676227e4152f,
  title = {Integrating a Global Induction Mechanism into a Sequent Calculus},
  author = {David M. Cerna and Michael Peter Lettmann},
  year = {2017},
  doi = {10.1007/978-3-319-66902-1\_17},
  url = {https://arxiv.org/abs/1705.04606},
  note = {Source identifier: 1705.04606}
}