@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}
}