凯瑟琳·孔扎克;托马斯·林奇;托尔斯滕·绍布 用于答案集编程的图形和着色。 （英语） Zbl 1109.68081号 理论与实践。日志。程序。 6，编号1-2，61-106（2006）.MSC公司：68兰特 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Konczak}等人，《理论与实践》。日志。程序。6，编号1--2，61-106（2006；Zbl 1109.68081） 全文： 内政部
愤怒，克里斯蒂安;凯瑟琳·孔扎克;托马斯·林奇 NoMoRe：答案集语义下的非单调推理系统。 （英语） Zbl 1007.68718号 托马斯·艾特（编辑）等人，《逻辑编程与非单调推理》。第六届国际会议，LPNMR 2001，奥地利维也纳，2001年9月17日至19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2173, 406-410 (2001).MSC公司：68单位99 68N17号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Anger}等人，Lect。注释计算。科学。2173406--410（2001年；Zbl 1007.68718） 全文： 链接