克里斯蒂亚诺·卡尔卡尼奥 托马斯·丁斯代尔-杨 菲利普·加德纳 树上下文逻辑中的辅助消除。 255-270 2007 conf/aplas/2007 应用程序 https://doi.org/10.1007/978-3-540-76637-7_17 db/conf/aplas/aplas2007.html#CalcagnoDG07