@incollection{BeckertBormerEA2017,
title = {An Introduction to Voting Rule Verification},
author = {Bernhard Beckert and Thorsten Bormer and Rajeev Gor\'e and
Michael Kirsten and Carsten Sch\"urmann},
booktitle = {Trends in Computational Social Choice},
editor = {Ulle Endriss},
publisher = {AI Access},
chapter = {14},
pages = {269--287},
year = {2017}
}