@第{zbMATH00983343条，作者=｛Alpuente，Mar｛'｛i｝a和Falaschi，Moreno和Vidal，Germ｛a｝n｝，Title={等式{Horn}程序分析的合成语义基础}，FJournal={理论计算机科学}，期刊＝{Theor.Comput.Sci.}，ISSN={0304-3975}，体积={165}，数字={1}，页码={133--169}，年份={1996}，语言={英语}，DOI={10.1016/0304-3975（96）00043-6}，关键词={68Q55}，zbMATH={983343}，Zbl={0872.68107}}