Carmine Ventre. Mechanisms with Verification for Any Finite Domain. In Paul G. Spirakis, Marios Mavronicolas, Spyros C. Kontogiannis, editors, Internet and Network Economics, Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings. Volume 4286 of Lecture Notes in Computer Science, pages 37-49, Springer, 2006. [doi]