TY  - RPRT
TI  - Integrating a Global Induction Mechanism into a Sequent Calculus
AU  - David M. Cerna
AU  - Michael Peter Lettmann
PY  - 2017
DO  - 10.1007/978-3-319-66902-1_17
UR  - https://arxiv.org/abs/1705.04606
ID  - 1705.04606
ER  -