@第{zbMATH06988669条，作者={Schwitter，Rolf}，Title={用受控自然语言指定和描述答案集程序}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={18}，数字={3-4}，页码={691--705}，年份={2018年}，语言={英语}，DOI={10.1017/S1471068418000327}，关键词={68T50,68N17,68T30}，zbMATH＝{6988669}，Zbl={1451.68295}}