大卫·阿斯皮纳尔；伦纳特·贝林格；马丁·霍夫曼；汉斯·沃夫冈·洛伊德；阿尔贝托·莫米利亚诺 资源的程序逻辑。 （英语） Zbl 1133.68010号 西奥。计算。科学。 389，第3期，411-445（2007）.MSC公司：68甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人，Theor。计算。科学。389，第3号，411--445（2007；Zbl 1133.68010） 全文： 内政部 链接
伦纳特·贝林格；马丁·霍夫曼；阿尔贝托·莫米利亚诺；奥哈·什卡拉夫斯卡 堆消耗的自动认证。 （英语） Zbl 1108.68374号 Baader，Franz（编辑）等人，《编程逻辑、人工智能和推理》。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。计算机科学课堂讲稿3452。人工智能课堂讲稿，347-362（2005）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}等人，Lect。注释计算。科学。3452347--362（2005年；Zbl 1108.68374） 全文： 内政部
大卫·阿斯皮纳尔；伦纳特·贝林格；马丁·霍夫曼；汉斯·沃夫冈·洛伊德；阿尔贝托·莫米利亚诺 用于资源验证的程序逻辑。 （英语） Zbl 1099.68584号 Slind，Konrad（编辑）等人，《高阶逻辑中的定理证明》。第17届国际会议，TPHOLs 2004，美国犹他州帕克城，2004年9月14-17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23017-3/pbk）。计算机科学课堂讲稿322334-49（2004）。MSC公司：68号30 03B70号 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人，Lect。注释计算。科学。3223、34-49（2004年；Zbl 1099.68584） 全文： 内政部