萨戈纳斯，K。；T·斯威夫特。；D.S.沃伦。 固定阶计算的极限。 （英语） Zbl 0974.68111号 西奥。计算。科学。 254，第1-2号，465-499（2001）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Sagonas}等人，Theor。计算。科学。254，编号1--2，465--499（2001；Zbl 0974.68111） 全文： DOI程序
康斯坦蒂诺斯·萨戈纳斯；Swift，Terrance公司；大卫·沃伦。 用于固定顺序动态分层程序的抽象机。 （英语） Zbl 1412.68032号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104328-342（1996年）。MSC公司：68N17号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Sagonas}等人，Lect。注释计算。科学。1104328--342（1996年；Zbl 1412.68032） 全文： DOI程序