Hocquette, C.; Cropper, A. Relational Program Synthesis With Numerical Reasoning. AAAI 2023, 37, 6425-6433.