塞尔吉奥·安托伊；雅各布·约翰森；史蒂文·利比 所需计算缩短了所需步骤。 （英语） Zbl 1476.68117号 Middeldorp，Aart（ed.）等人，《第八届术语和图形计算国际研讨会论文集》，TERMGRAPH 2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）183，18-32（2015）。MSC公司：第68季度第42季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}等人，《电子》。程序。西奥。计算。科学。（EPTCS）183，18-32（2015年；兹bl 1476.68117） 全文： arXiv公司 链接
塞尔吉奥·安托伊；安迪·乔斯特 在某些构造函数系统中编译折叠规则。 （英语） Zbl 1473.68042号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9527, 57-72 (2015).MSC公司：68号30 68N20型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{A.Jost}，莱克特。票据计算。科学。9527，57-72（2015；Zbl 1473.68042） 全文： 内政部 链接
塞尔吉奥·安托伊；安迪·乔斯特 编译函数逻辑语言：公平方案. （英语） Zbl 1453.68039号 Gupta，Gopal（编辑）等，基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。8901, 202-219 (2014).MSC公司：68N20型 68甲15 68N17号 68甲18 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{A.Jost}，莱克特。票据计算。科学。8901202-219（2014；Zbl 1453.68039） 全文： 内政部
Wan Fokkink公司；庞、军；范德波尔（Jaco van de Pol） 锥和焦点：协议验证的机械框架。 （英语） Zbl 1103.68652号 形式方法系统。设计。 29，第1期，1-31页（2006年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人，《形式方法系统》。设计。29，第1号，1--31（2006；Zbl 1103.68652） 全文： 内政部
巴斯·卢提克；彼得·罗登堡；拉凯什·维尔玛 关于Thatte对术语重写系统的转换的评论。 （英语） Zbl 1101.68630号 Inf.计算。 195，编号1-2，66-87（2004）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Luttik}等人，《信息计算》。195，编号1--2，66-87（2004；Zbl 1101.68630） 全文： 内政部
范德波尔（Jaco Van De Pol） 即时：关于战略注释。 （英语） Zbl 1268.68104号 Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，41-63（2001）。MSC公司：第68季度第42季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Van De Pol}，电子。注释Theor。计算。科学。57、41-63（2001年；Zbl 1268.68104） 全文： 内政部