TY  - RPRT
TI  - Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
AU  - Yutaka Nagashima
PY  - 2022
UR  - https://arxiv.org/abs/2010.10296
ID  - 2010.10296
ER  -