TY  - RPRT
TI  - Learning logic programs by explaining their failures
AU  - Rolf Morel
AU  - Andrew Cropper
PY  - 2023
UR  - https://arxiv.org/abs/2102.12551
ID  - 2102.12551
ER  -