@第{zbMATH06804617条，作者={Saleh，Amr Hany和Schrijvers，Tom}，标题={Prolog}}的有效代数效果处理程序，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={16}，数字={5-6}，页码={884--898}，年份={2016年}，语言={英语}，DOI={10.1017/S147106841600034X}，关键词={68N17}，zbMATH={6804617}，Zbl=｛1379.68080｝}