@article{feuilloley:hal-03872299, TITLE = {{Redundancy in distributed proofs}}, AUTHOR = {Feuilloley, Laurent and Fraigniaud, Pierre and Hirvonen, Juho and Paz, Ami and Perry, Mor}, URL = {https://cnrs.hal.science/hal-03872299}, JOURNAL = {{Distributed Computing}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {34}, NUMBER = {2}, PAGES = {113-132}, YEAR = {2021}, MONTH = Apr, DOI = {10.1007/s00446-020-00386-z}, HAL_ID = {hal-03872299}, HAL_VERSION = {v1}, }