TY  - RPRT
TI  - Regular realizability problems and models of a generalized nondeterminism
AU  - A. Rubtsov
AU  - M. Vyalyi
PY  - 2011
UR  - https://arxiv.org/abs/1105.5894
ID  - 1105.5894
ER  -