@第{zbMATH06804558条，作者={恒河、格雷姆和纳瓦斯、豪尔赫A.和沙赫特、彼得和S{\o}ndergaard、哈拉尔德和斯塔基、彼得J.}，标题={Horn子句作为程序分析和转换的中间表示}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={15}，数字={4-5}，页码={526--542}，年份=｛2015｝，语言={英语}，DOI={10.1017/S1471068415000204}，关键词={68N20,68N17}，zbMATH＝{6804558}，Zbl=｛1379.68089｝}