Mingyi Zhang, Ying Zhang, Fangzhen Lin. A characterization of answer sets for logic programs. Science in China Series F: Information Sciences, 50(1):46-62, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.