@第{zbMATH06033481条，作者={Pearce，D.和Valverde，A.}，Title={答案集编程中的同义理论和知识表示}，FJournal={计算机与系统科学杂志}，期刊={J.Compute.Syst.Sci.}，ISSN={0022-0000}，体积={78}，数字={1}，页码={86--104}，年份={2012}，语言={英语}，DOI＝{10.1016/j.jss.2011.02.013}，关键词={68T30,03B20,03B55,68N17,68T27,03B70}，zbMATH={6033481}，Zbl={1250.68254}}