三木赫尔曼;Phokion G.科莱蒂斯。 统一算法不能在多项式时间内组合。 （英语） Zbl 1045.68568号 Inf.计算。 162，编号1-2，24-42（2000）.MSC公司：65年第68季度 03B35型 2015年第68季度 2017年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermann}和\textit{P.G.Kolaitis}，Inf.Compute。162，编号1--2，24-42（2000；Zbl 1045.68568） 全文： 内政部 链接
三木赫尔曼;Phokion G.科莱蒂斯。 统一算法不能在多项式时间内组合。 （英语） Zbl 1412.68233号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1104, 246-260 (1996).MSC公司：第68页第15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.赫尔曼}和\textit{P.G.科莱蒂斯}，莱克特。注释计算。科学。1104、246——260（1996年；Zbl 1412.68233） 全文： 内政部