Mechanism Design with Selective Verification. - FOTAKIS, DIMITRIS; TZAMOS, CHRISTOS; ZAMPETAKIS, MANOLIS (EC: Economics & Computation, 2016)