马提亚斯·霍巴赫 系统描述：SPASS-FD。 （英语） Zbl 1341.68190号 Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，331-337（2011）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Horbach}，莱克特。注释计算。科学。6803、331--337（2011；Zbl 1341.68190） 全文： 内政部
马提亚斯·霍巴赫；克里斯托夫·韦登巴赫 基于饱和度的模型构建的可判定性结果。 （英语） Zbl 1250.03014号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，404-420（2009）。MSC公司：03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Horbach}和\textit{C.Weidenbach}，莱克特。注释计算。科学。5663、404--420（2009年；Zbl 1250.03014） 全文： 内政部