@inproceedings{eberl19rsc,
author="Eberl, Manuel",
title="Verifying Randomised Social Choice",
year="2019",
booktitle="Frontiers of Combining Systems"
}