TY  - RPRT
TI  - Type-two polynomial-time and restricted lookahead
AU  - Bruce M. Kapron
AU  - Florian Steinberg
PY  - 2020
DO  - 10.1016/j.tcs.2019.07.003
UR  - https://arxiv.org/abs/1801.07485
ID  - 1801.07485
ER  -