Dumancic, S.; Guns, T.; Cropper, A. Knowledge Refactoring for Inductive Program Synthesis. AAAI 2021, 35, 7271-7278.