Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach - Bueff, Andreas; Belle, Vaishak (Machine Learning, 2024)