Klaas Ole Kürtz Ralf Küsters Thomas Wilke Selecting theories and nonce generation for recursive protocols. 61-70 2007 FMSE http://doi.acm.org/10.1145/1314436.1314445 conf/ccs/2007fmse db/conf/ccs/ccs2007fmse.html#KurtzKW07