@第{zbMATH04093500条，作者={Kierstead，H.A.和Trotter，W.T.}，标题={Boolean}晶格}中间层的显式匹配，FJournal={Order}，日志={Order}，ISSN={0167-8094}，体积={5}，数字＝｛2｝，页码={163--171}，年份={1988年}，语言={英语}，DOI={10.1007/BF00337621}，关键词={05C45,05C70,06A06}，zbMATH={4093500}，Zbl={0668.05045}}