@会议记录{kozen_et_al:LIPIcs.CSL.2018.1，author={Kozen，Dexter和Schwentick，Thomas}，title={2018年阿克曼奖}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={1:1--1:5}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.CSL.2018.1},URN={URN:nbn:de:0030-drops-96686}，doi＝{10.4230/LIPIcs.CSL.2018.1}，annote={关键词：阿克曼奖}}
