@misc{indiciae91d6c11d5fef,
  title = {Verifying Equivalence of Database-Driven Applications},
  author = {Yuepeng Wang and Isil Dillig and Shuvendu K. Lahiri and William R. Cook},
  year = {2017},
  url = {https://arxiv.org/abs/1710.07660},
  note = {Source identifier: 1710.07660}
}