TY  - RPRT
TI  - Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?
AU  - Claus-Peter Wirth
PY  - 2010
DO  - 10.1093/jigpal/jzr048
UR  - https://arxiv.org/abs/0902.3294
ID  - 0902.3294
ER  -