摩西·加纳迪;哈克,丹尼;杰·阿图尔;马库斯·洛伊;不,埃里克 为公式构造小树文法和小电路。 (英语) Zbl 1370.68061号 J.计算。系统。科学。 86, 136-158 (2017).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}等人,J.Compute。系统。科学。86、136--158(2017年;Zbl 1370.68061) 全文: 内政部 arXiv公司 链接
杰·阿图尔;马库斯·洛伊 最小线性树语法的近似。 (英语) Zbl 1353.68154号 Inf.计算。 251, 215-251 (2016).MSC公司:2012年第68季度 68页30 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{M.Lohrey},Inf.Compute。251、215——251(2016年;Zbl 1353.68154) 全文: 内政部