Sen, P.; Carvalho, B. W. S. R. de; Riegel, R.; Gray, A. Neuro-Symbolic Inductive Logic Programming With Logical Neural Networks. AAAI 2022, 36, 8212-8219.