Redundancy in distributed proofs
scientific article; zbMATH DE number 7348621
scientific article