Population Sizing for the Redundant Trivial Voting Mapping - Rothlauf, Franz (2003)