@misc{indiciaed7a89779ad91,
  title = {Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?},
  author = {Claus-Peter Wirth},
  year = {2010},
  doi = {10.1093/jigpal/jzr048},
  url = {https://arxiv.org/abs/0902.3294},
  note = {Source identifier: 0902.3294}
}