TY  - RPRT
TI  - Type-two Iteration with Bounded Query Revision
AU  - Bruce M. Kapron
AU  - Florian Steinberg
PY  - 2019
DO  - 10.4204/eptcs.298.5
UR  - https://arxiv.org/abs/1908.04923
ID  - 1908.04923
ER  -