辛西娅·科普;阿尔特·米德尔多普;托马斯·斯特纳格尔 条件项重写的复杂性。 （英语） 兹比尔1398.68275 日志。方法计算。科学。 13，第1号，第6号论文，56页（2017年）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Kop}等人，日志。方法计算。科学。13，第1号，第6号论文，56页（2017；Zbl 1398.68275） 全文： 内政部 arXiv公司
托马斯·斯特纳格尔;阿尔特·米德尔多普 条件汇流（系统描述）。 （英语） Zbl 1416.68181号 Dowek，Gilles（编辑），重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。勒克特。票据计算。科学。8560, 456-465 (2014).MSC公司：68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Sternagel}和\textit{A.Middeldorp}，莱克特。票据计算。科学。8560，456--465（2014；Zbl 1416.68181） 全文： 内政部