Loop Formulas for Description Logic Programs
arXiv (2010) - Comments
arxiv: 1007.4040  issn: 2331-8422  doi: 10.1017/s1471068410000268 

Yisong Wang, Jia-Huai You, Li Yan Yuan, Yi-Dong Shen