克里斯蒂亚诺·卡尔卡尼奥 托马斯·丁斯代尔-杨 菲利普·加德纳 树的上下文逻辑中的辅助消除。 474-499 2010 208 Inf.计算。 5 https://doi.org/10.1016/j.ic.2009.02.013 db/journals/iandc/iandc208.html#CalcagnoDG10