格里戈里薄荷 \（\mathrm的非确定性ε替换{ID}_1\)：有效证明。 （英语） Zbl 1319.03061号 Berger，Ulrich（编辑）等人，《逻辑、构造、计算》。献给赫尔穆特·施维希滕贝格70岁生日。法兰克福：Ontos Verlag；柏林：De Gruyter（ISBN 978-3-11-032453-2-hbk；978-3-86838-158-0/hbk；978-11-032492-1/电子书）。Ontos数学逻辑3，325-342（2012）。 审核人：M.Yasuhara（普林斯顿大学） MSC公司：05年3月 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}，Ontos数学。日志。3325-342（2012；Zbl 1319.03061）
詹妮弗·约翰逊·勒昂;罗伯茨、布鲁克斯 二阶Siegel模形式附于Hilbert模形式。 （英语） Zbl 1272.11063号 J.数论 132，第4期，543-564（2012）.MSC公司：11层41层 11层46层 PDF格式BibTeX公司 XML格式引用 \textit{J.Johnson-Leung}和\textit{B.Roberts}，J.数论132，第4期，543--564（2012；Zbl 1272.11063） 全文： 内政部 arXiv公司