@收款{zbMATH05587942，作者={McLaughlin，Sean和Pfenning，Frank}，Title={用极化逆方法证明直觉定理}，BookTitle={自动扣除--CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼}，国际标准图书编号={978-3-642-02958-5}，页码={230--244}，年份={2009}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-02959-2_19}，关键词={03B35,03B20,03F05,68T15}，URL={figuhare.com/articles/journal_contribution/Efficient_Intuitionistic_Theorem_Proving_with_the_Polarized_Inverse_Method/665093}，zbMATH={5587942}，Zbl={1250.03019}}