@第{zbMATH03671722条，作者={Samet，Hanan和Marcus，Leo}，标题={在等式数据库中清除}，FJournal={信息处理信件}，日志={Inf.Process.Lett.}，ISSN＝{0020-0190}，体积={10}，页码={89--95}，年份={1980年}，语言={英语}，DOI={10.1016/S0020-0190（80）90081-2}，关键词={68P20,68W27}，zbMATH={3671722}，Zbl={0431.68086}}