安娜丽莎·博西；尼科莱塔·科科；桑德罗·埃塔利 正常程序中的同时更换。 （英语） Zbl 0844.68013号 J.日志。计算。 6，第1期，79-120（1996）.MSC公司：68号01 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人，J.Log。计算。6，编号1，79-120（1996；Zbl 0844.68013） 全文： 内政部 链接
安娜丽莎·博西；尼科莱塔·科科 通过展开/折叠保持通用终端。 （英语） Zbl 0988.68513号 Levi，Giorgio（编辑）等人，《代数和逻辑编程》。1994年9月14日至16日在西班牙马德里举行的第四届ALP'94国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。850, 269-286 (1994).MSC公司：68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}和\textit{N.Cocco}，莱克特。注释计算。科学。850269--286（1994年；Zbl 0988.68513）