A bivalency proof of the lower bound for uniform consensus
scientific article; zbMATH DE number 5650150
scientific article