@misc{indiciae2586b1e77615,
  title = {The strength of replacement in weak arithmetic},
  author = {Stephen Cook and Neil Thapen},
  year = {2004},
  url = {https://arxiv.org/abs/cs/0409015},
  note = {Source identifier: cs/0409015}
}