@会议记录{lohrey_et_al:LIPIcs.STACS.2014.530，author={Lohrey，Markus和Zetzsche，Georg}，title={{关于布尔闭全三元组和有理克里普克框架}}，booktitle={第31届计算机科学理论方面国际研讨会（STACS 2014）}，页数={530--541}，series={Leibniz国际信息学论文集（LIPIcs）}，ISBN＝{978-3-939897-65-1}，ISSN={1868-8969}，年份={2014}，体积={25}，editor={Mayr，Ernst W.和Portier，Natacha}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，网址={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2014.530},URN={URN:nbn:de:0030-drops-44853}，doi={10.4230/LIPIcs.STACS.2014.530}，annote={关键词：有理转导，全三元组，算术层次，布尔运算}}
