利伦·科恩0001 埃蒂安·米奎 罗斯·泰特 证据框架：扩展可实现性模型的统一框架。 1月13日 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470514 conf/lics/2021 db/conf/lics/lics2021.html#0001MT21