//-->
Partial Provability in Communication Games
Lipman, Barton L., (1992)
Partial provability in communication games