@第{zbMATH05815215条，作者={Balbiani，Philippe and Tinchev，Tinko}，标题={带关系的布尔逻辑}，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN={1567-8326}，体积={79}，数字={8}，页码={707--721}，年份={2010}，语言={英语}，DOI＝{10.1016/j.clip.2010.07.012}，关键词={03B45.68T27}，zbMATH={5815215}，Zbl={1206.03019}}