@misc{indiciae3b93a58a508f, title = {Redundancy in Distributed Proofs}, author = {Laurent Feuilloley and Pierre Fraigniaud and Juho Hirvonen and Ami Paz and Mor Perry}, year = {2020}, url = {https://arxiv.org/abs/1803.03031}, note = {Source identifier: 1803.03031} }