@misc{indiciae1159b41b8494,
  title = {Data Migration using Datalog Program Synthesis},
  author = {Yuepeng Wang and Rushi Shah and Abby Criswell and Rong Pan and Isil Dillig},
  year = {2020},
  url = {https://arxiv.org/abs/2003.01331},
  note = {Source identifier: 2003.01331}
}