詹妮克·德雷尔；查尔斯·杜梅尼；史蒂夫·克莱默；拉尔夫·萨西 超越状态协议自动验证中的子rm收敛方程理论。 （英语） Zbl 1444.68040号 Maffei，Matteo（编辑）等人，《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议，即2017年POST，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10204, 117-140 (2017).MSC公司：68平方米25 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dreier}等人，Lect。票据计算。科学。10204、117--140（2017；Zbl 1444.68040） 全文： 内政部 哈尔
戴维·巴恩斯；凯勒，米歇尔；萨沙拉多米罗维奇；拉尔夫·萨西 爱丽丝和鲍勃遇到了等式理论。 （英语） Zbl 1321.68343号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，160-180（2015）。MSC公司：60年第68季度 68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，Lect。票据计算。科学。9200，160-180（2015年；兹比尔1321.68343） 全文： 内政部
圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；拉尔夫·萨西 变量缩小和方程统一。 （英语） Zbl 1347.68194号 Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，103-119（2009）。MSC公司：第68季度第42季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，《电子》。注释Theor。计算。科学。238、3号、103--119（2009；Zbl 1347.68194） 全文： 内政部
圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；拉尔夫·萨西 有效检查有限变量属性。 （英语） Zbl 1145.68444号 Voronkov，Andrei（编辑），重写技术和应用。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学讲义5117，79-93（2008）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Lect。票据计算。科学。5117、79-93（2008年；Zbl 1145.68444） 全文： 内政部