@TechReport{	  sprenger.ea:cryptographically:2006-b,
  author	= {Christoph Sprenger and Michael Backes and David Basin and
		  Birgit Pfitzmann and Michael Waidner},
  institution	= {Cryptology ePrint Archive},
  language	= {USenglish},
  month		= {February},
  number	= {2006/047},
  title		= {Cryptographically Sound Theorem Proving},
  url		= {http://eprint.iacr.org/2006/047},
  year		= 2006,
  user		= {csprenge}
}