“使用叠加演绎的Tableaux模理论——在……中的应用”
梅拉妮·杰奎尔 , 卡里姆·贝尔卡尼 , 大卫·德拉哈耶 , 凯瑟琳·杜布瓦 :
使用叠加演绎的Tableaux模理论——应用Zenon自动定理证明程序验证B证明规则。 国际JCAR 2012 : 332-338
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。