A. Baskar Ramaswamy Ramanujam S. P. Suresh Knowledge-based modelling of voting protocols. 62-71 2007 TARK http://doi.acm.org/10.1145/1324249.1324261 conf/tark/2007 db/conf/tark/tark2007.html#BaskarRS07