@第{zbMATH04176496条，作者={Drabent，Wlodzimierz和Martelli，Maurizio}，标题={逻辑程序的严格完成}，FJournal={新一代计算}，日志={新一代计算}，ISSN={0288-3635}，体积={9}，数字={1}，页码={69--79}，年份={1991年}，语言={英语}，DOI={10.1007/BF03037151}，关键词={68T15,68T27,68N17}，zbMATH={4176496}，Zbl={0714.68084}}