Cristiano Calcagno等人：树的上下文逻辑中的辅助消除。(2010) 期刊/iandc/CalcagnoDG10 2016年10月10日/J.IC.2009.02.013 树的上下文逻辑中的辅助消除。 三 克里斯蒂亚诺·卡尔卡尼奥 1 托马斯·丁斯代尔-杨 2 菲利普·加德纳 三 474-499 Inf.计算。 Inf.计算。 208 5 2010 dblp记录“journals/iandc/CalcagnoDG10”的RDF数据的来源信息 2021-02-12T22:16:39+0100