Mendelson, J.; Naik, A.; Raghothaman, M.; Naik, M. GENSYNTH: Synthesizing Datalog Programs Without Language Bias. AAAI 2021, 35, 6444-6453.