多米尼克·J·D·休斯 Lutz Stra汉堡 胡宣武 一阶逻辑的组合证明和分解定理。 1-13 2021 低收入国家 https://doi.org/10.109/LICS52264.2021.9470579 conf/lics/2021 db/conf/lics/lics2021.html#HughesSW21