@第{zbMATH05004552条，作者={佩特罗西、阿尔贝托和普罗埃蒂、毛里齐奥和雷诺、索菲}，标题={通过专业化和非确定性约简导出有效的逻辑程序}，FJournal={高阶符号计算}，Journal＝｛高阶符号计算｝，ISSN={1388-3690}，体积={18}，数字={1-2}，页码={121--210}，年份={2005}，语言={英语}，DOI={10.1007/s10990-005-7008-3}，关键词={68N17}，zbMATH={5004552}，Zbl={1103.68034}}