菲利普·德格罗特 布鲁诺·纪尧姆 西尔万·萨尔瓦蒂 向量加法树自动机。 64-73 2004 conf/lics/2004文件 许可证 https://doi.org/10.109/LICS.2004.1319601 https://doi.ieecomputersociety.org/10.109/LICS.2004.1319601 db/conf/lics/lics2004.html#GrooteGS04