乌尔里希·富巴赫;英戈·格莱克纳;赫尔曼·赫尔比格;比约恩·佩尔泽 LogAnswer–基于演绎的问答系统。（系统描述）。 （英语） Zbl 1165.68456号 阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，139-146（2008）。MSC公司：68吨15 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{U.Furbach}等人，Lect。票据计算。科学。5195、139--146（2008年；Zbl 1165.68456） 全文： 内政部
彼得·鲍姆加特纳;乌尔里希·富巴赫;弗里德·斯托尔森堡 通过模型消除计算答案。 （英语） Zbl 1017.03505号 Artif公司。智力。 90，第1-2号，第135-176页（1997年）.MSC公司：03B35型 68吨15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人，Artif。智力。90，编号1--2，135-176（1997；Zbl 1017.03505） 全文： 内政部
彼得·鲍姆加特纳;乌尔里希·富巴赫;伊尔卡，涅梅莱 超级舞台。 （英语） Zbl 1427.03031号 Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1126, 1-17 (1996).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人，Lect。票据计算。科学。1126年1月17日（1996年；Zbl 1427.03031） 全文： 内政部
彼得·鲍姆加特纳;乌尔里希·富巴赫 无禁忌的模型消除。 （英语） Zbl 1433.68532号 Bundy，Alan（编辑），《自动扣款——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。814, 87-101 (1994).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{U.Furbach}，莱克特。票据计算。科学。814，87-101（1994年；兹bl 1433.68532） 全文： 内政部