卡斯滕·卢茨;乌利·萨特勒;塞萨尔·蒂内利;安妮·亚斯敏（Anni-Yasmin Turhan）;弗兰克·沃尔特 Franz Baader对知识表示和自动演绎的贡献之旅。 （英语） Zbl 1443.68010号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 1-14 (2019).MSC公司：68-03 01A70号 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}等人，Lect。注释计算。科学。11560，1-14（2019年；Zbl 1443.68010） 全文： 内政部
卡斯滕·卢茨（编辑）;尤里·萨特勒（编辑）;塞萨尔·蒂内利（编辑）;安妮·亚斯敏（Anni-Yasmin Turhan）（编辑）;弗兰克·沃尔特（编辑） 描述逻辑、理论组合等等。纪念弗兰兹·巴德60岁生日的文章。 （英语） Zbl 1428.68036号 计算机科学课堂讲稿11560.查姆：施普林格（ISBN 978-3-030-22101-0/pbk；978-3-0030-22102-7/电子书）。xiii，662页。(2019).MSC公司：68-06 68T27型 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}（编辑）等人，描述逻辑，理论组合，等等。纪念弗兰兹·巴德60岁生日的文章。查姆：施普林格（2019；Zbl 1428.68036） 全文： 内政部 arXiv公司