克里斯托夫·本兹穆勒(Christoph E.Benzmüller)。;乍得·E·布朗。;迈克尔·科尔哈斯 削减开支和无偿性。 (英语) Zbl 1160.03004号 日志。方法计算。科学。 5,第1期,论文8,21页(2009年).MSC公司:03B35型 03B15号机组 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{C.E.Benzmüller}等人,日志。方法计算。科学。5,第1号,论文8,21页(2009年;Zbl 1160.03004) 全文: 内政部 arXiv公司
克里斯托夫·本兹穆勒(Christoph E.Benzmüller)。;乍得·E·布朗。;迈克尔·科尔哈斯 非提示逻辑中的简化。 (英语) Zbl 1159.03303号 Furbach,Ulrich(编辑)等人,《自动推理》。2006年8月17日至20日,第三届国际联合会议,IJCAR 2006,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37187-8/pbk)。计算机科学讲义4130。人工智能课堂讲稿,220-234(2006)。MSC公司:03B35型 03B15号机组 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Benzmüller}等人,Lect。注释计算。科学。4130、220--234(2006;Zbl 1159.03303) 全文: 内政部