克里斯托夫·蒙兹;马尔滕·德·里杰克 动态语义的解析演算。 （英语） Zbl 0928.03010号 Dix，Jürgen（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’98。1998年10月12日至15日，德国达格斯图尔。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1489, 184-198 (1998).MSC公司：03B35型 68T50型 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{C.Monz}和\textit{M.de Rijke}，莱克特。注释计算。科学。14898184-198（1998年；兹bl 0928.03010）
克里斯托夫·蒙兹;马尔滕·德·里杰克 模糊量化的表格演算。 （英语） Zbl 0910.03018号 de Swart，Harrie（编辑），用分析表和相关方法进行自动推理。1998年5月5日至8日，荷兰Oisterwijk，1998年TABLEAUX国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1397, 232-246 (1998). 审核人：N.Zamov（喀山） MSC公司：03B65号 03B35型 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{C.Monz}和\textit{M.de Rijke}，莱克特。注释计算。科学。1397、232--246（1998年；Zbl 0910.03018）