TY - RPRT TI - Learning higher-order logic programs AU - Andrew Cropper AU - Rolf Morel AU - Stephen H. Muggleton PY - 2019 UR - https://arxiv.org/abs/1907.10953 ID - 1907.10953 ER -