TY  - RPRT
TI  - On completeness of logic programs
AU  - Wlodzimierz Drabent
PY  - 2014
UR  - https://arxiv.org/abs/1411.3015
ID  - 1411.3015
ER  -