Social choice theory in HOL: Arrow and Gibbard-Satterthwaite (0)

by T Nipkow
Venue:Journal of Automated Reasoning