@第{zbMATH04070284条，作者={库恩，肯尼思}，标题={逻辑编程中的否定}，FJournal={逻辑编程杂志}，日志={J.Log.Program.}，ISSN={0743-1066}，体积={4}，页码={289--308}，年份={1987}，语言={英语}，DOI={10.1016/0743-1066（87）90007-0}，关键词={68Q60,68Q65,68T15}，zbMATH={4070284}，Zbl={0655.68018}}