D. M. Cerna and A. Cropper, “Generalisation through Negation and Predicate Invention”, AAAI, vol. 38, no. 9, pp. 10467-10475, Mar. 2024.