TY  - RPRT
TI  - Data Migration using Datalog Program Synthesis
AU  - Yuepeng Wang
AU  - Rushi Shah
AU  - Abby Criswell
AU  - Rong Pan
AU  - Isil Dillig
PY  - 2020
UR  - https://arxiv.org/abs/2003.01331
ID  - 2003.01331
ER  -