@会议记录{czajka:LIPIcs.CSL.2011.174，作者={Czajka，Lukasz}，title={{演绎组合逻辑的语义方法}}，booktitle={计算机科学逻辑（CSL’11）-第25届国际研讨会/第20届EACSL年会}，页数={174--188}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-32-3}，ISSN={1868-8969}，年份={2011}，体积={12}，editor={Bezem，Marc}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.174},URN={URN:nbn:de:0030-drops-32303}，doi={10.4230/LIPIcs.CSL.2011.174}，annote={关键词：演绎组合逻辑，术语重写，一阶逻辑}}
