@misc{cryptoeprint:2006:047,
    author = {Christoph Sprenger and Michael Backes and David Basin and Birgit Pfitzmann and Michael Waidner},
    title = {Cryptographically Sound Theorem Proving},
    howpublished = {Cryptology ePrint Archive, Report 2006/047},
    year = {2006},
    url = {http://eprint.iacr.org/2006/047},
}