安娜丽莎·博西（编辑） 基于逻辑的程序合成和转换。第九届国际研讨会，LOPSTR'99。意大利威尼斯，1999年9月22日至24日。精选论文。 （英语） 兹比尔0941.00033 计算机科学课堂讲稿. 1817. 柏林：斯普林格。viii，第313页（2000年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}（编辑），基于逻辑的程序合成和转换。第九届国际研讨会，LOPSTR'99。意大利威尼斯，1999年9月22日至24日。精选论文。柏林：施普林格（2000年；Zbl 0941.00033） 全文： 内政部
安娜丽莎·博西;尼科莱塔·科科;桑德罗·埃塔利 正常程序中的同时更换。 （英语） 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）