Automating Pólya theory: the computational complexity of the cycle index polynomial - GOLDBERG, L. A (Information and computation (Print), 1993)