Carmine Ventre Mechanisms with Verification for Any Finite Domain. 37-49 2006 conf/wine/2006 WINE http://dx.doi.org/10.1007/11944874_5 db/conf/wine/wine2006.html#Ventre06