TY  - RPRT
TI  - Symmetry breaking for inductive logic programming
AU  - Andrew Cropper
AU  - David M. Cerna
AU  - Matti Järvisalo
PY  - 2026
UR  - https://arxiv.org/abs/2508.06263
ID  - 2508.06263
ER  -