Naonori Kakimura, Yoshihiko Terai: Computing Power Indices in Weighted Majority Games with Formal Power Series. WALCOM 2026: 323-336