Alwen Tiu Rajeev Goré A proof theoretic analysis of intruder theories http://arxiv.org/abs/0804.0273 2008 CoRR abs/0804.0273 db/journals/corr/corr0804.html#abs-0804-0273