TY  - RPRT
TI  - Some observations on the logical foundations of inductive theorem proving
AU  - Stefan Hetzl
AU  - Tin Lok Wong
PY  - 2018
DO  - 10.23638/lmcs-13(4:10)2017
UR  - https://arxiv.org/abs/1704.01930
ID  - 1704.01930
ER  -