@在诉讼程序中{coquand_et_al:LIPIcs.CSL.2012.1，author={Coquand、Thierry和Dawar、Anuj和Niwinski、Damian}，title={2012年阿克曼奖}}，booktitle={计算机科学逻辑（CSL’12）-第26届国际研讨会/第21届EACSL年会}，页数={1--5}，series={莱布尼茨国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-42-2}，ISSN={1868-8969}，年份={2012}，体积={16}，编辑器={C\'{e} 吉尔斯基、Patrick和Durand、Arnaud}、，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2012.1},URN={URN:nbn:de:0030-drops-36575}，doi={10.4230/LIPIcs.CSL.2012.1}，annote={关键词：2012年阿克曼奖}}
