拉杜·马尔代尔 普拉卡什·帕南加登 戈登·普洛金 定量等式逻辑的定点。 1月13日 2021 许可证 https://doi.org/10.1109/LICS52264.2021.9470662 conf/lics/2021 db/conf/lics/lics2021.html#MardarePP21