TY  - RPRT
TI  - Logic Programming Applications: What Are the Abstractions and Implementations?
AU  - Yanhong A. Liu
PY  - 2018
DO  - 10.1145/3191315.3191326
UR  - https://arxiv.org/abs/1802.07284
ID  - 1802.07284
ER  -