Cerna, D. M.; Cropper, A. Generalisation through Negation and Predicate Invention. AAAI 2024, 38, 10467-10475.