刘新新0009 于婷婷 保持有限状态行为的分歧分支同余的完全公理化。 1月13日 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470647 conf/lics/2021 db/conf/lics/lics2021.html#0009Y21