Towards an automatic analysis of security protocols in first-order logic (1999)

by C Weidenbach
Venue:In Proc. 16th International Conference on Automated Deduction (CADE’99), volume 1632 of LNCS