TY  - RPRT
TI  - Learning large logic programs by going beyond entailment
AU  - Andrew Cropper
AU  - Sebastijan Dumančić
PY  - 2020
UR  - https://arxiv.org/abs/2004.09855
ID  - 2004.09855
ER  -