TY  - RPRT
TI  - Embedding Description Logic Programs into Default Logic
AU  - Yisong Wang
AU  - Jia-Huai You
AU  - Li Yan Yuan
AU  - Yi-Dong Shen
AU  - Thomas Eiter
PY  - 2011
UR  - https://arxiv.org/abs/1111.1486
ID  - 1111.1486
ER  -