@misc{indiciaef1fc927d0781,
  title = {Learning logic programs by finding minimal unsatisfiable subprograms},
  author = {Andrew Cropper and Céline Hocquette},
  year = {2024},
  url = {https://arxiv.org/abs/2401.16383},
  note = {Source identifier: 2401.16383}
}