Fedor部件 尼尔·萨彭 伊多·萨默雷 一阶推理与高效半代数证明。 1月13日 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470546 conf/lics/2021 db/conf/lics/lics2021.html#PartTT21