@techreport{publication-2397,
	author={Tilgner, Christian and Glavic, Boris and B{\"o}hlen, Michael H. and Kanne, Carl-Christian},
	number={IFI-2010.0008},
	title={Correctness proof of the declarative SS2PL protocol implementation},
	version=1,
	year=2010,
}