TY  - RPRT
TI  - Loop Formulas for Description Logic Programs
AU  - Yisong Wang
AU  - Jia-Huai You
AU  - Li Yan Yuan
AU  - Yi-Dong Shen
PY  - 2010
DO  - 10.1017/s1471068410000268
UR  - https://arxiv.org/abs/1007.4040
ID  - 1007.4040
ER  -