Mechanism design with partial state verifiability. - Raymond Deneckere; Sergei Severinov (Games Econ. Behav., 2008)