塞尔吉奥·安托伊 函数逻辑编程的评估策略。 （英语） Zbl 1129.68019号 J.塞姆。计算。 40，第1期，875-903（2005）.MSC公司：68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}，J.Symb。计算。40，第1号，875--903（2005；Zbl 1129.68019） 全文： 内政部
G.阿古齐。;莫迪利亚尼，美国。 确定语义匹配问题的标准。 （英语） 兹比尔0855.68048 Ursini，Aldo（编辑）等人，《逻辑与代数》。纪念罗伯托·马加里国际会议记录，1994年4月26日至30日，意大利蓬蒂尼亚诺。纽约，纽约：Marcel Dekker。莱克特。Notes纯应用。数学。第180293-315页（1996年）。MSC公司：第68季度第42季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Aguzzi}和\textit{U.Modigliani}，莱克特。Notes纯应用。数学。180、293--315（1996年；Zbl 0855.68048）
Rakesh M.维尔玛。 重写系统的转换和汇合。 （英语） Zbl 0872.68078号 西奥。计算。科学。 152，第2期，269-283（1995）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{R.M.Verma}，Theor。计算。科学。152，第2号，269--283（1995；Zbl 0872.68078） 全文： 内政部