A characterization of answer sets for logic programs

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]

Abstract

Abstract is missing.