L. Feuilloley and P. Fraigniaud, Survey of distributed decision, Bulletin of the EATCS, vol.119, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01331880

L. Feuilloley, P. Fraigniaud, J. Hirvonen, A. Paz, and M. Perry, Redundancy in distributed proofs, DISC 2018, vol.24, pp.1-24, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01964771

M. Göös and J. Suomela, Locally checkable proofs in distributed computing, Theory of Computing, vol.12, issue.1, pp.1-33, 2016.

A. Korman and S. Kutten, Distributed verification of minimum spanning trees, Distributed Computing, vol.20, pp.253-266, 2007.
DOI : 10.1007/s00446-007-0025-1

A. Korman, S. Kutten, and T. Masuzawa, Fast and compact self-stabilizing verification, computation, and fault detection of an MST, Distributed Computing, vol.28, issue.4, pp.253-295, 2015.
DOI : 10.1007/s00446-015-0242-y
URL : https://hal.archives-ouvertes.fr/hal-01240211

A. Korman, S. Kutten, and D. Peleg, Proof labeling schemes, Distributed Computing, vol.22, issue.4, pp.215-233, 2010.
DOI : 10.1145/1073814.1073817

R. Ostrovsky, M. Perry, and W. Rosenbaum, Space-time tradeoffs for distributed verification, SIROCCO 2017, pp.53-70, 2017.
DOI : 10.1007/978-3-319-72050-0_4
URL : http://arxiv.org/pdf/1605.06814

D. Peleg, Distributed Computing : A Locality-Sensitive Approach. Discrete Mathematics and Applications, 2000.
DOI : 10.1137/1.9780898719772