@article{learninglargelogicprogramsbygoingbeyond, title = {Learning large logic programs by going beyond entailment}, author = {Andrew Cropper and Sebastijan Dumančić}, year = {2020}, eprint = {2004.09855}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2004.09855v2}, }