Proof labeling schemes.

Amos Korman, Shay Kutten, David Peleg

Browse the full PODC paper archive.