TY  - RPRT
TI  - SLDR-DL: A Framework for SLD-Resolution with Deep Learning
AU  - Cheng-Hao Cai
PY  - 2017
UR  - https://arxiv.org/abs/1705.02210
ID  - 1705.02210
ER  -