玛丽亚·保拉(Maria Paola Bonacina);乌尔里希·富巴赫;维奥里卡Sofrone-Stokkerman 基于一阶模型的推理。 (英语) Zbl 1322.03013号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学9200、181-204课堂讲稿(2015)。MSC公司:03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人,Lect。注释计算。科学。9200、181--204(2015;Zbl 1322.03013) 全文: 内政部 arXiv公司
乌尔里希·富巴赫;斯特芬·Hölldobler;约阿希姆·施雷贝尔 霍恩方程理论和副调制。 (英语) Zbl 0682.68091号 J.汽车。推理 5,第3号,309-337(1989). 审核人:S.G.沃罗比奥夫 MSC公司:68吨15 03B35型 03元52分 03C65型 PDF格式BibTeX公司 XML格式引用 \textit{U.Furbach}等人,J.Autom。推理5,No.3,309--337(1989;Zbl 0682.68091) 全文: 内政部