Computer-aided proofs of Arrow's and other impossibility theorems
scientific article; zbMATH DE number 5603680