@misc{indiciae4157223addc4,
  title = {A Divergence Critic for Inductive Proof},
  author = {T. Walsh},
  year = {1996},
  url = {https://arxiv.org/abs/cs/9604101},
  note = {Source identifier: cs/9604101}
}