J. Mendelson, A. Naik, M. Raghothaman, and M. Naik, “GENSYNTH: Synthesizing Datalog Programs without Language Bias”, AAAI, vol. 35, no. 7, pp. 6444-6453, May 2021.