@misc{indiciae6efbfc1155cf,
  title = {Regular realizability problems and models of a generalized nondeterminism},
  author = {A. Rubtsov and M. Vyalyi},
  year = {2011},
  url = {https://arxiv.org/abs/1105.5894},
  note = {Source identifier: 1105.5894}
}