@misc{indiciaed904a2424998,
  title = {Loop Formulas for Description Logic Programs},
  author = {Yisong Wang and Jia-Huai You and Li Yan Yuan and Yi-Dong Shen},
  year = {2010},
  doi = {10.1017/s1471068410000268},
  url = {https://arxiv.org/abs/1007.4040},
  note = {Source identifier: 1007.4040}
}