@第{coquand_et_al:DagRep.11.10.151条，author={Coquand、Thierry和Ishihara、Hajime和Negri、Sara和Schuster、Peter M.}，title＝{几何逻辑、构造和自动定理证明（Dagstuhl研讨会21472）}，pages＝{151-172}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2022}，体积={11}，数字={10}，editor={Coquand、Thierry和Ishihara、Hajime和Negri、Sara和Schuster、Peter M.}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.151},URN={URN:nbn:de:0030-drops-159321}，doi={10.4230/DagRep.11.1051}，annote={关键词：自动定理证明，范畴语义，建构，几何逻辑，证明理论}}
