Ben-Porath E, Lipman.B. Implementation with Partial Provability. Journal of Economic Theory.  2012;147 (5) :1689-1724.