桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;马里奥弗洛里多;伊恩，麦基 哥德尔的系统（mathcal T）被重新访问。 （英语） Zbl 1191.68154号 理论。计算。科学。 411，第11-13号，1484-1500（2010）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}等人，Theor。计算。科学。411，编号11--131484--1500（2010；Zbl 1191.68154） 全文： 内政部
桑德拉·阿尔维斯;马里奥弗洛里多;伊恩·麦基;弗朗索瓦·雷吉斯·西诺 带迭代的线性微积分中的极小性。 （英语） Zbl 1279.68045号 Giesl，J.（编辑），第七届改写和编程中的简化策略国际研讨会论文集（WRS 2007），法国巴黎，2007年6月25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记204163-179（2008）。MSC公司：68甲18 03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}等人，《电子》。理论注释。计算。科学。204163--179（2008年；Zbl 1279.68045） 全文： 内政部
桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;弗洛里多，马里奥;伊恩·麦基 封闭式还原策略的威力。 （英语） 兹比尔1277.03009 Antoy，Sergio（编辑），第六届改写和编程简化策略国际研讨会论文集（WRS 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第10期，57-74（2007）。MSC公司：03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}等人，《电子》。理论注释。计算。科学。174，第10号，57-74（2007年；兹bl 1277.03009） 全文： 内政部