杰根，基督;Jochen Hoenicke公司 保证明树插值。 （英语） Zbl 1356.68184号 J.汽车。推理 57，第1号，67-95（2016）.MSC公司：68吨15 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Christ}和textit{J Hoenicke}，J.Autom。推理57，No.1，67--95（2016；Zbl 1356.68184） 全文： 内政部
杰根，基督;Jochen Hoenicke公司 弱等效阵列。 （英语） Zbl 1471.68136号 Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 119-134 (2015).MSC公司：60年第68季度 03B25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Christ}和textit{J Hoenicke}，莱克特。注释计算。科学。9322119-134（2015年；兹bl 1471.68136） 全文： 内政部 arXiv公司