@misc{indiciaeea58cf101855,
  title = {Type-two Iteration with Bounded Query Revision},
  author = {Bruce M. Kapron and Florian Steinberg},
  year = {2019},
  doi = {10.4204/eptcs.298.5},
  url = {https://arxiv.org/abs/1908.04923},
  note = {Source identifier: 1908.04923}
}