A meta-theorem for distributed certification
scientific article; zbMATH DE number 7615854
scientific article