The Loop Formula based Semantics of Description Logic Programs

Yisong Wang, Jia-Huai You, Li Yan Yuan, Yi-Dong Shen, Mingyi Zhang
January 2012
Cite
Type
Journal article
Publication
Theoretical Computer Science

Add the full text or supplementary notes for the publication here using Markdown formatting.