@InCollection｛zbMATH01341618，作者={Weidenbach，Christoph}，Title={朝向一阶逻辑中安全协议的自动分析}，BookTitle={自动扣除-CADE-16。第十六届国际会议，意大利特伦托，1999年7月7日至10日。诉讼}，国际标准图书编号={3-540-66222-7}，页码={314--328}，年份={1999}，出版商={柏林：施普林格}，语言={英语}，关键词={94A60.68T15,03B35}，zbMATH={1341618}，Zbl={1038.94548}}