亚瑟·查古埃罗;弗朗索瓦·波蒂埃 使用时间信用验证分离逻辑中union-find实现的正确性和已摊销的复杂性。 （英语） Zbl 1468.68120号 J.汽车。推理 62，第3号，331-365（2019）.MSC公司：60年第68季度 03B70号 68甲18 68第05页 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Charguéraud}和\textit{F.Pottier}，J.Autom。推理62，No.3，331--365（2019；Zbl 1468.68120） 全文： 内政部 哈尔
潘、权;杰尔达·詹森斯;佐尔坦·索莫吉 Mercury程序的基于区域的内存管理。 （英语） Zbl 1286.68056号 理论与实践。日志。程序。 13，第6期，959-1024（2013）.MSC公司：68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Phan}等人，《理论与实践》。日志。程序。13、第6号959--1024（2013；Zbl 1286.68056） 全文： 内政部 arXiv公司
黑山，曼努埃尔;里卡多·佩纳;克拉拉·塞古拉 保证安全销毁的推理算法。 （英语） Zbl 1185.68200号 Michael Hanus（编辑），基于逻辑的程序合成和转换。2008年7月17日至18日在西班牙巴伦西亚举行的2008年LOPSTR第18届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-00514-5/pbk）。计算机科学课堂讲稿5438，135-151（2009）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.黑山}等人，Lect。注释计算。科学。5438、135--151（2009年；Zbl 1185.68200） 全文： 内政部