@misc{indiciae5bed99bbb197,
  title = {Extraction of Efficient Programs in \$IΣ\_1\$-arithmetic},
  author = {Ján Komara and Paul J. Voda},
  year = {2019},
  url = {https://arxiv.org/abs/1910.00635},
  note = {Source identifier: 1910.00635}
}