S. Dumancic, T. Guns, and A. Cropper, “Knowledge Refactoring for Inductive Program Synthesis”, AAAI, vol. 35, no. 8, pp. 7271-7278, May 2021.