@misc{indiciaefcb63905b85c,
  title = {Verifying Safety of Functional Programs with Rosette/Unbound},
  author = {Dmitry Mordvinov and Grigory Fedyukovich},
  year = {2017},
  url = {https://arxiv.org/abs/1704.04558},
  note = {Source identifier: 1704.04558}
}