休伯特·科蒙·隆德;维罗尼克·科尔蒂尔 一阶逻辑片段的新可判定性结果以及密码协议的应用。 （英文） Zbl 1038.03012号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。第2706148-164页（2003年）。MSC公司：03B25号 03B20型 03B35型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon-Lundh}和\textit{V.Cortier}，莱克特。注释计算。科学。2706、148--164（2003；Zbl 1038.03012） 全文： 链接
尤祖鲁·卡库达 过滤量词在集合论中的作用。 （英文） Zbl 0673.03044号 数学逻辑与应用，Proc。逻辑会议。，京都/日本1987，Lect。数学笔记。1388年，16-95年（1989年）。 审核人：M.威斯 MSC公司：03E70型 03C80号 PDF格式BibTeX公司 XML格式