Paolo Penna Carmine Ventre Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions. 708-719 2008 ESA http://dx.doi.org/10.1007/978-3-540-87744-8_59 conf/esa/2008 db/conf/esa/esa2008.html#PennaV08