@misc{indiciae4abb529decad,
  title = {Remark on repo and options},
  author = {Andrei Kapaev},
  year = {2013},
  doi = {10.13189/aeb.2013.010216},
  url = {https://arxiv.org/abs/1311.5211},
  note = {Source identifier: 1311.5211}
}