Franz Rothlauf Population Sizing for the Redundant Trivial Voting Mapping. 1307-1319 2003 conf/gecco/2003-2 GECCO http://link.springer.de/link/service/series/0558/bibs/2724/27241307.htm db/conf/gecco/gecco2003-2.html#Rothlauf03