丹尼斯·佩特尔;维奥里卡Sofrone-Stokkerman;塞巴斯蒂安·图纳特 局部理论中关于（P）-插值的扩展及其在描述逻辑中插值研究中的应用。 （英语） Zbl 07838500号 Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14132, 419-437 (2023).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Peuter}等人，Lect。票据计算。科学。14132、419--437（2023；Zbl 07838500） 全文： 内政部
托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦·沃尔德曼;克里斯托夫·韦登巴赫 从搜索到计算：工作中的冗余标准和简化。 （英语） Zbl 1383.68076号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797169-193（2013）。MSC公司：68吨15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hillenbrand}等人，Lect。票据计算。科学。7797、169--193（2013；Zbl 1383.68076） 全文： 内政部
卡普尔，迪帕克;罗伯特·纽文胡斯;安德烈·沃伦科夫;克里斯托夫·韦登巴赫;莱因哈德·威廉 Harald Ganzinger的遗产：对逻辑和编程的贡献。 （英语） Zbl 1383.68003号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，1-18（2013）。MSC公司：68-03 01A70号 03B70号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人，Lect。票据计算。科学。7797，1-18（2013；Zbl 1383.68003） 全文： 内政部