Power indices of simple games and vector-weighted majority games by means of binary decision diagrams
scientific article; zbMATH DE number 5882502