@第{zbMATH00036587条，作者={佐丹诺、劳拉和马泰利、阿尔贝托和罗西、詹弗兰科}，Title={用蕴涵目标扩展{Horn}子句逻辑}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={95}，数字={1}，页码={43--74}，年份={1992年}，语言={英语}，DOI={10.1016/0304-3975（92）90066-O}，关键词={68T27,68T99}，zbMATH={36587}，Zbl={0754.68109}}