@Article{Nip09, Author = "Nipkow, T.", Year = "2009", Title = "{Social Choice Theory in HOL: Arrow and Gibbard-Satterthwaite}", Journal = "Journal of Automated Reasoning", Volume = "43", Number = "3", Pages = "289-304", Comment = "TPTPRef" }