@inproceedings{JP06, author = {H. L. Jonker and W. Pieters}, title = {Receipt-Freeness as a special case of Anonymity in Epistemic Logic}, pages = {}, month = {June}, booktitle = {Proc.\ Workshop On Trustworthy Elections (WOTE'06)}, year = {2006} }