@书籍{zbMATH00041233，作者={Ueda，Kazunori}，标题={防护{Horn}子句}，年份={1988年}，出版商={剑桥，马萨诸塞州：麻省理工学院出版社；同时：东京大学，信息工程课程}，语言={英语}，关键词={68N17,68T99,68N15}，zbMATH={41233}，Zbl={0771.68037}}