TY  - RPRT
TI  - SLD-Resolution Reduction of Second-Order Horn Fragments -- technical report --
AU  - Sophie Tourret
AU  - Andrew Cropper
PY  - 2019
UR  - https://arxiv.org/abs/1902.09900
ID  - 1902.09900
ER  -